Lambda the Ultimate

type	title	author	last post
Story	The Fortress Language Spec v0.618 Parallelism by Ethan Aubin	Dave Herman	2010-12-13 04:24
Forum topic	PL Related Blogs A few more by Ethan Aubin	Ethan Aubin	2010-09-05 16:33
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed modularity of AI by Ethan Aubin	Isaac Gouy	2010-04-20 22:32
Forum topic	Review NP-complete Library Versioning Problem EDOS by Ethan Aubin	Jaroslav Tulach	2009-11-30 17:55
Forum topic	ruby vs python Modal languages by Ethan Aubin	shahbaz	2009-09-21 10:28
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	2009-05-23 23:23
Story	LtU: blog not forum! Re: split LtU in high and low part by Ethan Aubin My 2 cents by Ethan Aubin	Ehud Lamm	2009-02-14 14:11
Forum topic	Specifying semantics and type rules Ott: Tool Support for Semantics by Ethan Aubin	shap	2009-01-23 13:25
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
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