Lambda the Ultimate

type	title	author	last post
Story	Fusion in less space	Ehud Lamm	2005-12-07 11:42
Story	ClassicJava in PLT Redex	Paul Snively	2005-12-07 14:51
Story	Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter	Paul Snively	2005-12-07 14:58
Story	Generic views An implementation by Jim Apple A Generic View for SYB's Generic Fold by Stefan Holdermans here's a link. by dbremner	Jim Apple	2006-10-11 23:03
Story	Back to the future... Not so much by Isaac Gouy Being there... by Isaac Gouy I should mention... by Isaac Gouy I think that a widely popular by Philippa Cowderoy classes and methods passed-around and versioned by Isaac Gouy monochrome by Isaac Gouy How much was it? by Scott Johnson Models of Software Acceptance - Richard P Gabriel by Isaac Gouy Smalltalk on 8086-based DOS machine by Isaac Gouy Eclipse IDE + deployed image by Isaac Gouy ...	Ehud Lamm	2005-12-14 23:58
Story	Frege's Contribution to Philosophy of Language Strong claim by Ehud Lamm Not much comment... by Charles Stewart	Ehud Lamm	2005-12-15 18:01
Story	Top N Papers 2005 Forgot one... by Matt Hellige GC Without Paging by n8gray Danvy by Derek Elkins PLDI usually has good papers. by Thomas Lindgren Why Dependent Types Matter by Enrique Vetere My mistake by Frank Atanassow 2005? by Sjoerd Visscher A Monadic Framework for Subcontinuations by Paul Snively Lists by Frank Atanassow	Matt Hellige	2006-01-03 20:33
Story	Djinn, a theorem prover in Haskell, for Haskell. Yoneda by Derek Elkins I think even more than that w by carter Relevant Types by ski Systematic search for lambda expressions by Martijn Vermaat Oleg's in-Haskell version by Jim Apple Multiple Programs by KDPRoss Linear Types by Josef Svenningsson The main result isn't that deep by sigfpe It looks deep. I doubt it co by augustss Well by augustss ...	shapr	2006-01-24 18:58
Story	Polymorphic Regular Tree Types and Patterns	Jim Apple	2005-12-14 03:16
Story	The MetaC Language MetaC URLs by Adam Kelly Tick C by Derek Elkins C as its own meta-language by Per Vognsen	Ehud Lamm	2008-09-02 17:22
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation