Lambda the Ultimate

type	title	author	last post
Forum topic	Programming (language) puzzles Loeb in OCaml by Matias Giovannini	Chung-chieh Shan	2008-05-17 14:25
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) Endomorphisms by Matias Giovannini	cdiggins	2008-04-22 17:11
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Linear logic will supplant by Matias Giovannini I believe, but can't prove by Matias Giovannini	John Carter	2008-03-09 17:31
Story	Java Generics and Collections Pointers galore by Matias Giovannini	Ehud Lamm	2007-04-17 16:32
Forum topic	Implementation Inheritance There aren't any Animals by Matias Giovannini	SamK	2007-03-20 20:31
Story	Locus Solum: From the rules of logic to the logic of rules Raymond Roussel by Matias Giovannini	Andris Birkmanis	2007-01-20 06:18
Story	Annotated POPL 2007 Program Automatic Differentiation by Matias Giovannini	Noel	2007-01-19 02:35
Story	R6RS Status Report That's very flattering and by Matias Giovannini Overview Paper by Matias Giovannini	Ehud Lamm	2006-07-02 18:49
Forum topic	Type checking and logical errors Phantom Types Example by Matias Giovannini	Mike Smith	2006-06-05 21:16
Story	Gosling vs. Dynamic Languages Somehow... by Matias Giovannini	Ehud Lamm	2006-03-31 21:53
Forum topic	Singleton classes really that bad? You shouldn't... by Matias Giovannini	dataangel	2006-01-16 19:14
Forum topic	Conjunction types Oops... by Matias Giovannini Polymorphic variants by Matias Giovannini	jimdesu	2005-12-05 16:21
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