Lambda the Ultimate

type	title	author	last post
Forum topic	Concatenative Language Kont "Higher-Order" intermediate language? by dbfaken	Chris	2014-10-22 09:15
Story	Gilad Is Right Universal types by dbfaken Types as an organizing principle by dbfaken	Erik Meijer	2014-03-23 13:38
Forum topic	"Down with Lambda-Lifting"	dbfaken	2014-02-24 17:04
Forum topic	Open data types and open functions "problem"s by dbfaken design patterns by dbfaken	Jeremy	2012-06-22 02:53
Story	Decomposing lambda - the Kernel language prototype version? by dbfaken	Anton van Straaten	2012-04-30 15:31
Story	A Language-Based Approach to Unifying Events and Threads Importance of the type-system by dbfaken	shapr	2011-11-21 12:53
Story	The Weird World of Bi-Directional Programming logic programming by dbfaken	Ehud Lamm	2011-10-07 21:43
Story	Good Ideas, Through the Looking Glass No analysis necessary? by dbfaken	Ehud Lamm	2011-01-15 17:04
Forum topic	App Inventor: Programming for non-programmers... again Foundation first by dbfaken	fogus	2010-07-16 23:11
Story	More iPhone PL lockdown... Goodbye Scratch! Possible change by dbfaken	Matt Hellige	2010-06-18 14:34
Story	The Role of Composition in Computer Programming Math-style notation by dbfaken	James Hague	2010-02-19 01:25
Forum topic	The Next Mainstream Programming Languages "magic stack GC" versus live-object GC by dbfaken "Lenient" evaluation by dbfaken	Per Vognsen	2010-01-24 13:32
Story	Two stories "Lack of Static Type-Checking" slide (#19) by dbfaken	Ehud Lamm	2008-10-18 13:58
Forum topic	Lambda The Ultimate comes to SecondLife is there a difference from by dbfaken	akravets	2008-06-02 15:50
Story	The Theory of Classification - A Course on OO Type Systems Am I missing something... by dbfaken	andrew cooke	2008-04-21 11:09
Story	Foundations for Structured Programming with GADTs not previously discussed? by dbfaken	neelk	2008-03-17 21:26
Forum topic	Non-null references? Null references by dbfaken	Mike Hearn	2008-03-14 21:05
Story	The Design and Implementation of Typed Scheme Scheme in liskell by dbfaken Scheme <-> Haskell by dbfaken	Ehud Lamm	2008-02-08 03:56
Forum topic	How useful is reflection, anyway? Functional reflection by dbfaken	Scott Johnson	2008-01-31 18:41
Forum topic	A survey and discussion of taming effects "We don’t need no stinking modules!" by dbfaken	naasking	2007-11-28 19:24
Forum topic	OMeta: an Object-Oriented Language for Pattern Matching Can we get this in R6RS? by dbfaken	Manuel J. Simoni	2007-11-26 11:19
Forum topic	ErlOCaml	dbfaken	2007-11-15 16:57
Forum topic	Learning Programming with Erlang Artificial Complexity of current programming systems by dbfaken	Isaac Gouy	2007-10-19 13:45
Forum topic	Lisp webcomic perspective by dbfaken	Jeff Cutsinger	2007-10-05 04:33
Forum topic	Decayed Memoization online version by dbfaken	SamK	2007-09-21 02:09
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