Lambda the Ultimate

type	title	author	last post
Story	A Mobility Calculus with Local and Dependent Types	Niels Hoogeveen	2006-06-20 12:47
Forum topic	Why only 'minimal' languages Some of my experiences by Niels Hoogeveen	Karsten Wagner	2006-06-19 15:33
Forum topic	Multidimensional Virtual Classes Please explain by Niels Hoogeveen Thnx by Niels Hoogeveen	Niels Hoogeveen	2006-06-10 06:39
Story	Automath Can you tell me how to by Niels Hoogeveen	Niels Hoogeveen	2006-05-20 12:19
Story	Alan Turing	Niels Hoogeveen	2006-05-20 12:04
Forum topic	GADT's revisited New and improved by Niels Hoogeveen	Niels Hoogeveen	2006-04-14 11:11
Forum topic	A virtual class calculus	Niels Hoogeveen	2006-03-28 16:44
Forum topic	Twenty-First Century Compilers Just to make the amazon entry by Niels Hoogeveen	Scott Johnson	2005-12-06 00:38
Story	LtU etiquette Given Ltu's nature, I would l by Niels Hoogeveen	Ehud Lamm	2005-10-10 17:42
Forum topic	Most Productive FP Lang? Scala by Niels Hoogeveen	David B. Held	2005-09-26 03:14
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