recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Memory, Actions and Extensible Syntax Extensible by skaller There are many ways to dig a hole, by Ed Earl Ross Your first example is a by gasche On the other hand, by naasking - embedded by naasking Try it by Ed Earl Ross Not that sure.. by renox Not generally interested in syntax by Ed Earl Ross I had my heart set on fully by naasking Extensibility Morass by Ed Earl Ross ...	Ed Earl Ross	2011-01-14 20:34
Forum topic	Lambda the Ultimate seems an Overstatement (not) Computatonal Representation Theorem by Hewitt Since you are interested in by Bakul Shah Kay's lament by el-vadimo What is "sequential"? by Leon P Smith One clarifying remark I by Matt M Separation of Concerns by dmbarbour Thanks for the comment by Leon P Smith One way I was thinking about by S. Clover Jones and Gibbons' algorithm by Matt M Lazy State is a counterexample by Leon P Smith ...	Ed Earl Ross	2010-12-13 19:44
Forum topic	Thanks	Ed Earl Ross	2011-01-04 16:48
Forum topic	Quines and my mad mind Work together by Ed Earl Ross Of course by Andrew Moss Which is, of couse, what we by Ehud Lamm Thanks for the references by Ed Earl Ross Von Neumann Machine by Andrew Moss RepRap by dmbarbour	Ed Earl Ross	2011-01-18 20:40
Forum topic	Looking for a language like... tyvm Boyko by Ed Earl Ross REXX by Boyko Bantchev tyvm Georges by Ed Earl Ross TeX, Racket, Perl 6 and graphical programming languages by Georges Dupéron Thanks by Ed Earl Ross reply to L Spice by Ed Earl Ross Reply with 'reply'? by L Spice Scheme Macros by Leon P Smith Link to Smalltalk-72 Manual by jim-bender Reply Z-Bo Continued by Ed Earl Ross ...	Ed Earl Ross	2010-08-04 18:34
Forum topic	another new language, Chomsky hierarchy Type-0 Type-0 by Ed Earl Ross Families of type-1 by cw Families of type-1 by Ed Earl Ross Families of type-1 by Charles Stewart Chomsky hierarchy considered of marginal interest by Charles Stewart Type-0 by Ed Earl Ross Some of such "context by Lee Chun Kin No by cw if the interpreter doesn't by Ed Earl Ross No by Charles Stewart ...	Ed Earl Ross	2010-11-04 06:56
Forum topic	Lexical Analysis with Extended Identifiers and Disambiguation by Table Look-up. Moderately Related by dmbarbour Challenges by Ed Earl Ross Challenges by RM Schellhas degree of difficulty by Thomas Lord ...being by Ed Earl Ross Forgive me if I'm being by RM Schellhas ...neat idea by Ed Earl Ross I think it's a neat idea by Thomas Lord int x=0 by Ed Earl Ross For example, "int x = 0;" by RM Schellhas ...	Ed Earl Ross	2010-08-09 23:35
Forum topic	Fast Compilers Manifest typing is axed if by dmbarbour (Even complex) types systems are compositional by gasche Bridging extreme domains by dmbarbour It might also depend on the by Sean McDirmid Two different goals by gasche There will always be two by Sean McDirmid This sounds like the by lmeyerov Eager Evaluated Lambda Calculus on Records with RTTI by marco Not specific to C by Andreas Rossberg macros etc by skaller ...	Ed Earl Ross	2011-01-19 23:50
Forum topic	Examples of Categorical Semantics for Languages with Dependent Types Thanks for the pointer, this by Thorvaldur Thorvaldsson Seconded by Charles Stewart Syntax and Semantics of Dependent Types by Wouter Swierstra Good Reference, but the Approach Requires a lot of Machinery by echinuz Categorical Logic and Type Theory by Bart Jacobs by Thorvaldur Thorvaldsson	echinuz	2007-09-08 02:04
Forum topic	Free video lectures presented by Kay, Lampson, Ingalls, ...	ecavazos	2004-09-23 02:10
first page previous page next page last page