Lambda the Ultimate

type	title	author	last post
Forum topic	Automatic Programming	J Storrs Hall	2007-03-13 14:08
Story	Expressing Heap-shape Contracts in Linear Logic IANAL by J Storrs Hall	neelk	2007-03-12 16:10
Forum topic	Non-Applicative Functional Languages line noise by J Storrs Hall Isn't this mostly syntax? by J Storrs Hall	cdiggins	2007-03-09 17:18
Story	On the fact that the Atlantic Ocean has two sides Sturgeon's Law by J Storrs Hall	Luke Gorrie	2007-03-05 20:39
Forum topic	Dimensional analysis typing Fortress by J Storrs Hall	Zombywuf	2007-02-23 07:54
Story	Lowering: A Static Optimization Technique for Transparent Functional Reactivity Recursion considered Harmful by J Storrs Hall Stateful nodes by J Storrs Hall compilation by J Storrs Hall The Stars in Their Courses by J Storrs Hall	neelk	2007-02-22 18:41
Story	Shape analysis for composite data structures how PLT can help practitioners by J Storrs Hall	Ehud Lamm	2007-02-20 14:10
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