Lambda the Ultimate

type	title	author	last post
Story	LtU: blog not forum! This was the gist of my post by Derek Elkins Perhaps it would be by Derek Elkins Being the author of this the by Derek Elkins	Ehud Lamm	2009-02-14 14:11
Forum topic	Looking for papers describing advanced language topics in terms of C programming closing over by Derek Elkins	derekp	2009-02-12 06:39
Forum topic	Introducing Dawn - yet another new language Policy by Derek Elkins	Poul Krogh	2009-02-06 09:07
Forum topic	Explaining monads There's no way Arrows can be by Derek Elkins I find that one more by Derek Elkins	Ehud Lamm	2009-01-30 11: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	2009-01-30 00:38
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	2009-01-25 03:59
Forum topic	Lambda Calculus Notation Usually substitution is by Derek Elkins	Peter Michaux	2009-01-21 22:36
Forum topic	Fundamental Flaws in Current Programming Language Type Systems Tangent: Haskell does not have views by Derek Elkins	Bruce Rennie	2009-01-16 16:42
Forum topic	Job board on LtU? I'm rather against it by Derek Elkins	yminsky	2009-01-10 03:47
Story	Python 3000 Status Update Objective by Derek Elkins	Mark Evans	2009-01-03 03:49
Forum topic	The Lambda Cube & Some Programming Languages The lambda cube seems to be by Derek Elkins	Jason Dusek	2008-12-31 17:31
Forum topic	Irresistible programs The thing is simply that one by Derek Elkins	Ehud Lamm	2008-12-03 21:21
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	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
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	Manuel J. Simoni	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
first page previous page 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