Lambda the Ultimate

type	title	author	last post
Story	Continuity Analysis of Programs Semi-Decision by Samuel Gelineau	neelk	2010-02-09 04:12
Forum topic	Claiming Infinity Clarification by Samuel Gelineau Not crazy enough for april by Samuel Gelineau	Julian Rohrhuber	2010-02-03 12:53
Forum topic	Naive Question? Definition of "Higher Order" not quite, but good work! by Samuel Gelineau	scottmcl	2009-12-16 11:56
Story	π: a pattern language unicode by Samuel Gelineau what? by Samuel Gelineau	Allan McInnes	2009-11-03 21:49
Story	A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions Not quite by Samuel Gelineau	cdiggins	2009-10-23 11:46
Forum topic	In which sense Joy is functional? Answering with a question by Samuel Gelineau	Pablo Barenbaum	2008-10-20 08:00
Forum topic	Content Addressable Type Systems rewrite to make the recursion explicit by Samuel Gelineau	JaapSuter	2008-09-19 23:06

---

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