Lambda the Ultimate

type	title	author	last post
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-08-20 12:30
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	What do you believe about Programming Languages (that you can't prove (yet))? With coroutines, you don't by Ethan Aubin	John Carter	2008-03-09 17:31
Forum topic	exceptions again defered bottom up error propagation by Ethan Aubin	raould	2008-02-28 18:08
Forum topic	PL Related Blogs A few more by Ethan Aubin	Ethan Aubin	2008-02-16 06:29
Story	Prediction for 2008 coq-svn by Ethan Aubin	Ehud Lamm	2008-02-03 12:03
Forum topic	ruby vs python Modal languages by Ethan Aubin	falcon	2008-01-23 23:28
Story	The Fortress Language Spec v0.618 Parallelism by Ethan Aubin	Dave Herman	2007-11-21 20:59
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	Object Oriented Programming + Referential Transparency Equal Rights for Functional Objects by Ethan Aubin	mjstahl	2006-11-01 06:22
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
Story	LtU: blog not forum! Re: split LtU in high and low part by Ethan Aubin My 2 cents by Ethan Aubin	Ehud Lamm	2006-06-24 18:10
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
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