Lambda the Ultimate

type	title	author	last post
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
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? I list three things you by Derek Elkins	Ben Atkin	2008-04-29 03:20
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) No, it's not just taking by Derek Elkins Associativity, Commutativity, and Quotients by Derek Elkins	cdiggins	2008-04-22 17:11
Story	Computer Science Education: Where Are the Software Engineers of Tomorrow? It's not really a problem. by Derek Elkins	Ehud Lamm	2008-04-21 22:03
Story	Register Allocation by Proof Transformation Previously on LtU by Derek Elkins	neelk	2008-04-20 21:52
Forum topic	Proving compositions It's confusing because you by Derek Elkins	Hank Thediek	2008-04-20 14:05
Forum topic	Type Directed Concurrency	Derek Elkins	2008-04-20 07:08
Forum topic	Can local variables assignments be considered pure functional without monads? I'm talking about the Java. by Derek Elkins ST and SSA by Derek Elkins	cdiggins	2008-04-14 12:55
Forum topic	Minimal set of operators for APL/J like language An APL Machine by Derek Elkins	Pablo Barenbaum	2008-04-10 03:34
Forum topic	Gilad Bracha: Cutting out Static Stack overflow by Derek Elkins Magical Packages by Derek Elkins	Matt Hellige	2008-04-09 15:48
Story	April 1st special: The War of the Worlds Monads and monad transformers in Haskell by Derek Elkins	Ehud Lamm	2008-04-06 15:50
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