Lambda the Ultimate

type	title	author	last post
Story	Matching Objects With Patterns self-type annotations? by namin	Matt Hellige	2012-08-31 07:43
Forum topic	Crafting a toy language for learning purposes ichbins by namin	helltone	2012-08-21 17:39
Story	The Art of the Propagator Revised Report by namin The MIT technical report which proceeds the thesis by namin	neelk	2010-10-25 06:59
Story	Lifted inference: normalizing loops by evaluation Data is Code by namin	Ehud Lamm	2010-09-22 22:18
Forum topic	Tcl the Misunderstood	namin	2010-04-09 02:54
Story	Lambda, the Ultimate TA Great and simple way to learn Coq by namin	Ehud Lamm	2009-11-05 17:26
Forum topic	"Determinism" of types? Yes. by namin Isn't a -> b inhabited by your definition? by namin	ellisk	2009-01-06 17:36
Forum topic	Reasonig about combinators (a lambda-calculus puzzle on composing compositions) OK. by namin Thanks! by namin	namin	2009-01-06 07:29
Forum topic	JMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework	namin	2009-01-06 04:54
Forum topic	Learning Pragmatics of Implementing a "Modern" Type Systems Implementing Type Inference by namin	scottmcl	2009-01-02 22:51
Story	Microsoft Oslo Many more videos by namin	Ehud Lamm	2008-12-09 21:04
Story	Relational Parametricity and Units of Measure Units of Measure in F# by namin	neelk	2008-09-10 20:11
Story	Church’s Thesis and Functional Programming Curry-Howard Isomorphism by namin	Chris Rathman	2008-07-22 00:14
Forum topic	EOPL3 It's shipping! by namin	Ehud Lamm	2008-05-15 04:57
Story	The Reasoned Schemer that's a nice challenge by namin	Matt Hellige	2008-02-22 11:44
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