Lambda the Ultimate

type	title	author	last post
Forum topic	Irresistible programs The thing is simply that one by Derek Elkins	Ehud Lamm	2008-12-02 19:04
Forum topic	Non-standard type theories for FP Even in a total language, by Derek Elkins Cripes. by Derek Elkins History by Derek Elkins	marco	2008-12-02 00:50
Story	Clojure: Trampoline for mutual recursion DanFest 2004 by Derek Elkins	Chris Rathman	2008-11-30 02:33
Forum topic	Subtyping + overloading Defaulting by Derek Elkins No implicit coercions by Derek Elkins The second sentence from my by Derek Elkins Type lambdas by Derek Elkins Subtyping is an interface-level concept by Derek Elkins It's not an implicit by Derek Elkins	Alex Rubinsteyn	2008-11-24 20:24
Forum topic	Total functional language self interpreter? A countability argument is by Derek Elkins	jason stumpf	2008-11-24 15:43
Forum topic	The Origins of the BitC Programming Language This is much better, but by Derek Elkins To answer your very last by Derek Elkins	Isaac Gouy	2008-11-20 13:48
Forum topic	Extensible tuples? Zip Calculus by Derek Elkins	Alex Rubinsteyn	2008-11-17 18:04
Forum topic	A tutorial on implemeting type inference? PLAI by Derek Elkins	ellisk	2008-11-16 18:43
Forum topic	Q: Modularizing SQL? [Meta] by Derek Elkins	sciomako	2008-11-15 13:40
Story	Programming Language Beauty: Look Closure Symmetric Lambda Calculus by Derek Elkins	Erik Meijer	2008-11-10 21:09
Forum topic	Declarative layout and/or UI languages? Animation: From Cartoons to by Derek Elkins	naasking	2008-11-10 10:44
Forum topic	β, η, ξ ⊢ α? More specifically, it's the by Derek Elkins	Lauri Alanko	2008-11-09 14:02
Forum topic	Oz/K: A kernel language for component-based open programming The obvious place that you by Derek Elkins	Isaac Gouy	2008-11-07 09:17
Story	Factor: an extensible interactive language Are-you-full-good-sir? by Derek Elkins	msimoni	2008-11-06 18:30
Forum topic	Garbage Collection Representations GHC Pointer tagging by Derek Elkins	naasking	2008-11-03 22:37
Forum topic	Object Oriented Programming + Referential Transparency State passing by Derek Elkins	mjstahl	2008-10-30 17:40
Forum topic	Currying != Generalized Partial Application?! Curried Application by Derek Elkins Currying v. partial application by Derek Elkins	cdiggins	2008-10-29 20:58
Forum topic	On the (perceived) equivalence of static and dynamically typed reflective programming languages Static typing can catch by Derek Elkins	Ran	2008-10-28 23:49
Forum topic	Constructor classes Haskell type classes are by Derek Elkins	jdgallag	2008-10-27 04:00
Story	No more tail calls in Javascript? My examples fall into either by Derek Elkins Tail calls are not an FPL thing by Derek Elkins	Noel	2008-10-17 14:22
Forum topic	To CPS or not to CPS I think you are totally by Derek Elkins The 'let' in ANF is by Derek Elkins SSA, ANF, CPS, and Monadic by Derek Elkins	marco	2008-10-10 13:29
Forum topic	Inspiring Papers My recurring themes by Derek Elkins	SamK	2008-10-10 03:05
Forum topic	Lazy Graph Reduction and abstract machines by Derek Elkins See also Boquist's thesis and Henk by Derek Elkins	Sean Gillespie	2008-10-02 16:00
Story	Safe and Secure Software in Ada Trivial by Derek Elkins	Ehud Lamm	2008-09-26 19:38
Forum topic	Let's make a programming language! PostScript by Derek Elkins Reader macros by Derek Elkins No by Derek Elkins Macro expressiveness by Derek Elkins Besides, we all probably by Derek Elkins	Achilleas Margaritis	2008-09-12 09:21
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