Lambda the Ultimate

type	title	author	last post
Story	A few billion lines of code later: using static analysis to find bugs in the real world The illusion of languages and the reality of implementations by vintermann	Allan McInnes	2010-04-23 11:28
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? You're right about compiling, by vintermann Isn't that the point with SPARK by vintermann	John Carter	2009-05-23 23:23
Forum topic	Compile time garbage collection	vintermann	2007-02-08 12:17
Forum topic	Haskell -> Javascript converter, kind of Syntactic sugar? by vintermann	dbfaken	2006-11-22 18:12
Forum topic	Functional programming and software engineering Interfaces and OO by vintermann Hostility to design formalisations by vintermann	Kay Schluehr	2006-11-20 17:36
Forum topic	Want to learn something new I recommend Alloy. by vintermann	pureza	2006-11-12 19:49

---

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