Lambda the Ultimate

type	title	author	last post
Forum topic	Interpreter to compiler generator? The third Futamura projection by leemarks	pdf23ds	2010-06-12 15:53
Forum topic	Shoot-out: most annoying compiler error message Visual Basic by leemarks	marco	2008-12-21 21:45
Story	Wadler's Blog: Penn, PADL, POPL, and Plan-X Not really a list comprehension by leemarks	Ehud Lamm	2008-04-09 19:45
Forum topic	Behaviour Diffing operational vs. denotational semantics by leemarks	Holgly Morgan	2007-03-04 17:44
Forum topic	First Class Values, Types as values within a Programming Language Compiler checked documentation by leemarks and also by leemarks	Bruce Rennie	2006-07-20 00:50
Story	'Information and Computation' Open Access Access no longer open? by leemarks	Frank Atanassow	2006-07-05 23:13
Forum topic	The OO barrier Object Identity by leemarks	snk_kid	2006-06-22 14:07
Forum topic	Type checking and logical errors Thanks! by leemarks I don't understand by leemarks	Mike Smith	2006-06-05 21:16
Story	Design Patterns as Higher-Order Datatype-Generic Programs. Neat by leemarks I don't know Scala, but by leemarks Keeping things in perspective by leemarks	Ehud Lamm	2006-04-15 01:01
Story	When is one thing equal to some other thing? isomorphism vs behavioural equivalence by leemarks	Ehud Lamm	2006-03-16 14:55
Forum topic	Rich resource site for the programming language "K" Generality by leemarks Or just use 'sequence' by leemarks	Todd Coram	2006-03-14 23:42
Story	Embedded Interpreters One way by leemarks	Ehud Lamm	2006-03-12 06:37
Forum topic	Conjunction types Not a newbie-question IMHO by leemarks Cool by leemarks Perhaps union types? by leemarks My confusion by leemarks Oops by leemarks Polymorphic variants by leemarks what is a conjunction type? by leemarks	jimdesu	2005-12-05 16:21
Forum topic	Why Dependent Types Matter Probably true but ... by leemarks	Daniel Yokomizo	2005-04-24 09:20
Story	Code Generation with Python, Cog, and Nant Advanced programming by leemarks	Ehud Lamm	2005-02-13 19:13
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