Lambda the Ultimate

type	title	author	last post
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
Forum topic	type derivation for 'map map', yelp Not appropriate by Derek Elkins	numerodix	2008-08-22 20:07
Forum topic	A name for this form of variable capture? It is lexical scoping. by Derek Elkins It's not "unusual" scoping. by Derek Elkins	cjh	2008-08-12 15:03
Forum topic	A subtle extention to Lisp-style macros The point of the comment(s) by Derek Elkins One recurring theme I've by Derek Elkins	derekp	2008-08-11 06:49
Story	Non-Deterministic Recursive Ascent Parsing Derivation of a Typed Functional LR Parser by Derek Elkins	neelk	2008-08-08 14:04
Story	Almost everything happened in the Golden Age, right? Correctness, Robustness, by Derek Elkins	Peter Van Roy	2008-07-28 19:24
Forum topic	In search for a programming language to replace spreadsheets. Joel Spolsky has some insight by Derek Elkins	Søren Haagerup	2008-07-24 18:52
Forum topic	Dodo Currying by Derek Elkins M-Sets by Derek Elkins Semigroup homomorphism by Derek Elkins Monoids by Derek Elkins	Denis Bredelet -jido	2008-07-20 16:36
Forum topic	The hits and misses of Microsoft SML/NJ by Derek Elkins	Ehud Lamm	2008-07-12 07:25
Story	Why Multi-Core is Easy and Internet is Hard Yes by Derek Elkins Lambda the Ultimate Conference by Derek Elkins Details by Derek Elkins	Peter Van Roy	2008-07-03 06:55
Story	Scaling Type Inference Subtyping and type inference by Derek Elkins My experience with writing by Derek Elkins	Noel	2008-07-02 02:56
Forum topic	type-checking programs with unknown types Complete Type Inference by Derek Elkins	Adrian Quark	2008-06-30 07:18
Story	Pure imperative programming Also by Derek Elkins	Charles Stewart	2008-06-22 19:29
Forum topic	Preemptive concurrency via compiler-inserted checks GHC by Derek Elkins	naasking	2008-06-16 03:59
Forum topic	What kind of a category is the blue calculus? One thing to note is often by Derek Elkins	mikestay	2008-06-09 16:50
Forum topic	Continuation based I/O with referential trasparency (Hope+) ? Purely functional IO by Derek Elkins	raould	2008-06-02 20:28
Forum topic	Lambda The Ultimate comes to SecondLife lambdabot by Derek Elkins	akravets	2008-06-02 15:50
Forum topic	Understanding category theory and its practical applications Don't forget your modal logic. by Derek Elkins State transition systems by Derek Elkins ADTs by Derek Elkins There are some issues in by Derek Elkins	Winheim Raulsh	2008-05-26 05:25
Forum topic	Regions for Code GC? Code is data by Derek Elkins	naasking	2008-05-21 19:13
Story	A located lambda calculus Defunctionalization at Work by Derek Elkins	Ehud Lamm	2008-05-05 16:02
Forum topic	Static Typing and Expressivity While all current Haskell by Derek Elkins	nobodysbusiness	2008-05-02 15:58
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