recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Collection of links to monad implementations in various languages. C# by kaveh.shahbazian Interpreter with continuation by ski Slate by ski Need work by Neil Madden Tcl by ski Yep, any monad implemented in by Philippa Cowderoy Ok, since, in haskell, monads by Jillis ter Hove Maybe's left concrete in Hask by Philippa Cowderoy Monads in Miranda by Jillis ter Hove probably off topic, but this by daryabeygi ...	shapr	2007-12-09 19:59
Story	The Essential Haskell Compiler The Structure of the Essential Haskell Compiler by Anton van Straaten	shapr	2007-12-07 23:36
Forum topic	Weak normalisation theorem for typed lambda-calculus Excellent! Thank you. by Roly Perera Free by Ronny Wichers Schreur By the way, does anyone have by Roly Perera Explanation by Ronny Wichers Schreur	ilSignorCarlo	2007-12-07 15:41
Forum topic	Connecting the first steps TAPL by Andreas Rossberg Study the lambda calculus. by Philippa Cowderoy im not studying this in a by rmlinden Puzzled by Ehud Lamm Elsewhere by Derek Elkins shorter version: im ignoring by rmlinden	rmlinden	2007-12-06 13:08
Forum topic	OLPC to sell to public I suggest reading the by Ehud Lamm Shipping internationally... by crux TWiT has an interesting by Ehud Lamm No porting by Luke Gorrie More than one week left by Daniel Weinreb US and Canada residents by Ehud Lamm One week left by Ehud Lamm Sweet! by Michael Sloan I'd love to get one but is by doublec It does have WiFi by John Stracke ...	Ehud Lamm	2007-12-06 03:15
Forum topic	Monadic and Substructural Type Systems for Region-Based Memory Management I just skimmed this the by naasking I've read the Singularity by naasking Message Passing & Memory Mgmgt. by Greg Morrisett Freeing memory in a heap by Brandon Moore Suitability doesn't mean by naasking As is hopefully clear from by MatthewFluet You are correct that an A/L by MatthewFluet Now, I'm not sure about the by naasking Hacking ahoy! by Philippa Cowderoy No, if you free an A/L by MatthewFluet ...	naasking	2007-12-05 17:38
Story	Evolutionary Programming and Gradual Typing in ECMAScript 4 isLikeType method and like operator by hamlet darcy	doublec	2007-12-05 13:55
Story	DySy: Dynamic Symbolic Execution for Invariant Inference This idea sounds rather like by Darius Bacon Symbolic/Concolic Signature Generators by lmeyerov	Ehud Lamm	2007-12-05 04:25
Story	Parametric datatype-genericity Very well known by Derek Elkins I'm very interested in by naasking Fold for program semantics by Anton van Straaten Did anyone else realize... by Winheim Raulsh Genericity by Tim Sweeney n-categories? by Carlos Scheidegger	Ehud Lamm	2007-12-05 03:39
Forum topic	Joe-E TechTalk Done! by Ehud Lamm Sorry, you had asked me by naasking It's time to become a by Ehud Lamm	naasking	2007-12-05 02:49
first page previous page next page last page