Lambda the Ultimate

type	title	author	last post
Story	Prediction for 2008 coq-svn by Ethan Aubin	Ehud Lamm	2008-12-29 15:56
Forum topic	Object Oriented Programming + Referential Transparency Equal Rights for Functional Objects by Ethan Aubin	mjstahl	2008-10-30 17:40
Story	Programming Language Beauty: Look Closure I must be missing something, by Ethan Aubin Strict evaluation as an effect by Ethan Aubin	Erik Meijer	2008-09-10 04:01
Forum topic	C - header files Modular Information Hiding and Type Safe Linking for C by Ethan Aubin	bieberbrueder	2008-03-16 13:50
Forum topic	exceptions again defered bottom up error propagation by Ethan Aubin	raould	2008-02-28 18:08
Forum topic	Petition for adding garbage collection to C++. CMod by Ethan Aubin	Achilleas Margaritis	2007-11-20 16:24
Forum topic	Yearning for a practical scheme Type classes by Ethan Aubin Phantom types by Ethan Aubin	Nathan Sobo	2007-08-27 03:37
Forum topic	Abstract Data Type Usage Analysis Type Analysis and Data Structure Selection by Ethan Aubin	cdiggins	2007-03-27 19:21
Story	Specifying ECMAScript via ML Better language for reference implementation than specification by Ethan Aubin	Dave Herman	2007-02-13 18:03
Story	Annotated POPL 2007 Program Geometry of Synthesis: A structural approach to VLSI design by Ethan Aubin Logic-Flow Analysis of Higher-Order Programs by Ethan Aubin	Noel	2007-01-19 02:35
Forum topic	Exceptions Exception-Handling Bugs in Java and a Language Extension to Avoi by Ethan Aubin	BigZaphod	2006-12-13 18:35
Story	Linear types for aliased resources Phantom types by Ethan Aubin	Ehud Lamm	2006-12-07 16:10
Forum topic	Apple: procedural -> OO -> AOP -> advanced procedural ... I can't imagine ( at this by Ethan Aubin	Isaac Gouy	2006-08-28 13:35
Story	Abstracting Allocation: The New new Thing Relatively practical by Ethan Aubin	Ehud Lamm	2006-07-12 20:28
Story	Gottfried Wilhelm Leibniz ?? by Ethan Aubin	Niels Hoogeveen	2006-07-01 15:34
Forum topic	How are GADTs useful in practical programming? Typed Contracts for Functional Programming by Ethan Aubin Jurys still out by Ethan Aubin	Klaus Ostermann	2006-06-21 13:31
Forum topic	Multidimensional Virtual Classes Modular Type Classes by Ethan Aubin	Niels Hoogeveen	2006-06-10 06:39
Forum topic	Editing posts no problem with editing by Ethan Aubin	Jeff Nowakowski	2006-06-09 01:05
Forum topic	Buried Treasure - No Fluff Just Stuff Going to Church by Ethan Aubin Interpreter by Ethan Aubin	Isaac Gouy	2006-06-08 03:44
Forum topic	Type checking and logical errors Coverity by Ethan Aubin	Mike Smith	2006-06-05 21:16
Story	Felleisen: How to Design Class Hierarchies bad link by Ethan Aubin	Ehud Lamm	2006-02-21 15:44
Story	Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming The Golden Middle Way by Ethan Aubin	Erik Meijer	2006-02-05 11:26
Story	Robert Harper Named as ACM Fellow As well as by Ethan Aubin	Matt Hellige	2006-01-31 22:58
Story	Haskell is not not ML Coincidence by Ethan Aubin	Ehud Lamm	2006-01-24 20:23
Forum topic	Why Lists? Sets, Bags, and Mobiles by Ethan Aubin	David B. Held	2005-11-01 21:15
first page previous page 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