Lambda the Ultimate

type	title	author	last post
Story	How to Make Ad Hoc Proof Automation Less Ad Hoc More reading by Francois Garillot	Paul Snively	2012-07-24 00:43
Forum topic	Is the Expression Problem Fundamental? Artifact of 2-dimensional syntax ? by Francois Garillot	David Minor	2011-11-16 21:59
Forum topic	Help finding a (working ?) paper revisiting the Meijer-Fokkinga-Patterson classic Found it ! by Francois Garillot	Francois Garillot	2011-08-07 12:08
Forum topic	Book: Pearls of Functional Algorithm Design	Francois Garillot	2010-09-25 20:50

---

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