Lambda the Ultimate

type	title	author	last post
Story	Tagless Staged Interpreters for Simpler Typed Languages Interpreter or Compiler? by Jeremy Siek	Ehud Lamm	2010-04-06 00:28
Story	The End of the GPU Roadmap lenient still too slow by Jeremy Siek	Noel	2009-10-23 10:03
Story	A Verified Compiler for an Impure Functional Language But what about continuations? by Jeremy Siek	Paul Snively	2009-08-12 03:12
Story	Concepts Get Voted Off The C++0x Island Sad day by Jeremy Siek	James Iry	2009-07-27 05:24
Forum topic	Looking for list of programming problems to thoroughly test a language generic programming by Jeremy Siek	derekp	2009-05-04 18:46
Story	The Design and Implementation of Typed Scheme That's backwards by Jeremy Siek That is incorrect by Jeremy Siek	Ehud Lamm	2008-02-08 03:56
Story	Gradual Typing for Functional Languages And if the type computations terminate? by Jeremy Siek So the declarative specification is missing? by Jeremy Siek Sage and catching errors statically by Jeremy Siek	Paul Snively	2006-09-04 13:48

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation