Lambda the Ultimate

type	title	author	last post
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
Forum topic	Algebraist Network Bart Jacobs by Derek Elkins	billpage	2008-03-31 12:21
Forum topic	Role of Types in Evaluation Strategy Despite my lame attempt at by Derek Elkins Linear logic and overloading by Derek Elkins	cdiggins	2008-03-22 12:39
Story	Oberon Script. A Lightweight Compiler and Runtime System for the Web People outside our field by Derek Elkins	Ehud Lamm	2008-03-15 02:35
Forum topic	"Practical" advantages of lazy evaluation CPS transform by Derek Elkins Head strict lists by Derek Elkins Symmetric Lambda Calculus by Derek Elkins One advantage not mentioned by Derek Elkins Purity again by Derek Elkins Purity by Derek Elkins Why Functional Programming Matters by Derek Elkins	chinu	2008-03-11 11:16
Forum topic	Leaning how to judge the right tool for the job? For reference by Derek Elkins	raould	2008-02-26 21:34
Forum topic	Recursive Algorithms that cannot be expresses with Tail-Recursion? No by Derek Elkins	Anon Adderlan	2008-02-19 15:09
Forum topic	Languages and data conversions. [Meta] by Derek Elkins	David Ryan	2008-02-14 21:32
Forum topic	Lanugages with built-in rules/tests? CHdBLL Correspondence by Derek Elkins New breed of dependently typed languages by Derek Elkins	raould	2008-02-11 17:01
Story	The Design and Implementation of Typed Scheme Types by Derek Elkins Parametricity by Derek Elkins Not type dependent by Derek Elkins	Ehud Lamm	2008-02-08 03:56
Forum topic	Embedded concurrent FPish languages? Functional reactive by Derek Elkins	raould	2008-01-31 19:51
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