Lambda the Ultimate

type	title	author	last post
Forum topic	Filtering Threads	Ethan Aubin	2005-08-27 21:19
Forum topic	Memory fault and segmentation faults hmm.. by Ethan Aubin	pakumar21	2005-08-04 21:46
Forum topic	Conference in Vancouver audio/video online by Ethan Aubin	Tucho	2005-05-27 21:46
Forum topic	Call for Papers: ACM Symposium on Dynamic Languages Re: Mandator vs. Pluggable Type Systems by Ethan Aubin	rwuyts	2005-05-17 17:28
Forum topic	Links Proof-Carrying Execution by Ethan Aubin LtU and Submarine Soundness by Ethan Aubin Links by Ethan Aubin	Philip Wadler	2005-05-07 10:23
Forum topic	Links Slides Some notes by Ethan Aubin	Ethan Aubin	2005-04-12 14:55
Story	Fold Must Fold! The name "lambda" by Ethan Aubin	Noel	2005-04-02 03:13
Forum topic	Journals and papers? Logical Methods in Computer Science by Ethan Aubin Sources by Ethan Aubin	BigZaphod	2005-03-22 17:56
Forum topic	Xactium -- "lightweight language engineering" ??!? Incremental improvement over existing products by Ethan Aubin	meltsner	2005-03-15 21:02
Forum topic	The site discussions forum Unread messages by Ethan Aubin	Ehud Lamm	2004-07-29 12:48
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