recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Unexpected lisp setf behaviour A hint by johnwcowan Ah, sorry about that! by smclemon Pointing in the right direction by Chris Rathman	smclemon	2007-02-17 05:39
Forum topic	Better language tools Lost information by shaurz I'd be interested... by jgerman Agreed by raould How much knowledge of a by orbitz Why not... by Vilya Harvey Lingua Franxmla by raould Eclipse goes part of the way by Vilya Harvey Re: ASCII vs. AST by John Nowak ASCII vs. AST by Dave Griffith Cost-benefit by Dave Griffith ...	orbitz	2007-02-16 16:17
Forum topic	[ANN] Code Generation 2007 Programme available	Mark Dalgarno	2007-02-14 14:58
Forum topic	Seeking suggestions on how to unify the environment, free variables, and current activation record for closures explicit boxes... by Srikumar Subramanian boxing ... by Srikumar Subramanian True, it does aid readability by rici It aids readability by Doug Landauer That only differs in a small detail by rici Assignment conversion by pkhuong Of course, that doesn't give you mutable bindings by tomlu Hard binding closures ... by Srikumar Subramanian I think I'd like this by tomlu I guess we all have our preferences by rici ...	tomlu	2007-02-14 02:13
Story	Specifying ECMAScript via ML update coming soon by Dave Herman Getting updated ? by David Teller using sml for es4 by rwh elaborating into SML by Dave Herman soundness of SML by shrimpx True, but it can be rather by Sam Lindley SML by Dave Herman It does exist in MLTon, by jemfinch Ditto by Leon P Smith call/cc and type soundness by Dave Herman ...	Dave Herman	2007-02-13 18:03
Story	50 years of â€œSyntactic Structuresâ€ Turing award by Chris Brew Turing Award? by Kevin Greer Not a good analogy by Marc Hamann * You might say the same of Isaac Newton by johnwcowan Lucky to have an original by Jacques Carette A critical view by Marc Hamann Chomsky's influence on CS, the general academic perspective by fruehr	Ehud Lamm	2007-02-13 03:31
Page	FAQ	Ehud Lamm	2007-02-12 22:55
Story	Gradual Typing for Objects Just yesterday I was by Ehud Lamm	Matt Hellige	2007-02-12 22:15
Forum topic	Automatic termination proofs for programs with shape-shifting heaps Become an editor and post to by Ehud Lamm	Greg Buchholz	2007-02-12 20:44
Story	The Missing Link - Dynamic Components for ML	neelk	2007-02-10 19:32
first page previous page next page last page