Lambda the Ultimate

type	title	author	last post
Forum topic	Evocative metaphor The value of the metaphor by John Shutt	Ehud Lamm	2010-07-12 13:40
Forum topic	Looking for a proof that eager reduction is as strong as lazy reduction Plotkin's paper by John Shutt	marco	2010-06-20 04:28
Forum topic	Guppy: trying to make parsing simple, fun, and powerful Motive for adaptivity by John Shutt Avoiding semantic actions by John Shutt	Joey Adams	2010-05-31 02:57
Forum topic	Typed Lambda Calculus Cardelli and Wegner (1985)? by John Shutt Strachey versus Cardelli and Wegner by John Shutt	marcosag	2010-05-05 21:11
Forum topic	How can C Programs be so Reliable? C syntax by John Shutt	Manuel J. Simoni	2010-04-23 11:54
Forum topic	splitting the program into formalizable vs. non-formalizable parts? Darwinian physics by John Shutt Unfalsifiable? by John Shutt	raould	2010-04-17 03:48
Forum topic	Alternatives to parentheses for grouping Dot notation isn't standard probably because... by John Shutt I once encountered by John Shutt	jason stumpf	2010-02-10 13:28
Forum topic	more consistent macros? Fexprs don't have to be lazy by John Shutt Why I'm not fond of macros by John Shutt	raould	2010-02-04 11:22
Story	John Hughes on Erlang and Haskell Differing points of view by John Shutt Curry-Howard, Gödel, Plato... by John Shutt Curry-Howard not by John Shutt Curry-Howard by John Shutt Proofs and abstractiveness by John Shutt Type inference considered harmful by John Shutt	James Iry	2009-12-02 10:16
Story	Scheme to be split into two languages SICP-style teaching language by John Shutt	Manuel J. Simoni	2009-11-26 16:54
first page previous page

---

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