Lambda the Ultimate

type	title	author	last post
Story	Eliminating Array Bound Checking through Non-dependent types *Ouch* by Paul Snively	Ehud Lamm	2004-08-10 13:13
Forum topic	Constraint-Based Type Inference for Guarded Algebraic Data Types This is a good paper. Folks i by Paul Snively	Andris Birkmanis	2004-08-10 07:47
Forum topic	Tail of Nil and Its Type Good point! by Paul Snively	Andris Birkmanis	2004-08-08 23:21
Story	The C++ Source Journal Parsing Tool Choice by Paul Snively The Most Powerful Programming Language in the World... by Paul Snively	Mark Evans	2004-08-02 18:49
Forum topic	International Components for Unicode 3.0 Released RTL Overload by Paul Snively	Mark Evans	2004-08-02 04:39
Story	Francis Crick (1916-2004) The Transition by Paul Snively	Ehud Lamm	2004-07-30 16:27
Story	JDeveloperAOP AOP by Paul Snively	Ehud Lamm	2004-07-27 02:46
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