Lambda the Ultimate

type	title	author	last post
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
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	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
Story	Computation Orchestration: A Basis for Wide-Area Computing An expressive language by Derek Elkins	neelk	2008-09-11 17:15
Story	Programming Language Beauty: Look Closure Symmetric Lambda Calculus by Derek Elkins	Erik Meijer	2008-09-10 04:01
Forum topic	Should nested types capture type parameters? I don't particularly have by Derek Elkins	Kannan Goundan	2008-09-06 04:04
Story	The MetaC Language Tick C by Derek Elkins	Ehud Lamm	2008-09-02 17:22
Story	Escape from Zurg: An Exercise in Logic Programming The thing is Oz computation by Derek Elkins Enter Oz by Derek Elkins	Andris Birkmanis	2008-08-27 02:45
Forum topic	GAWK (GNU AWK) for AI? No roughly about it by Derek Elkins	Todd Coram	2008-08-25 05:12
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