Lambda the Ultimate

type	title	author	last post
Forum topic	The Monad.Reader Memory errors by Derek Elkins Neither tests nor proofs by Derek Elkins No by Derek Elkins Indeed by Derek Elkins	Wouter Swierstra	2012-04-11 12:54
Story	Why Concatenative Programming Matters Minor OT: Polymorphic Recursion in Haskell by Derek Elkins	James Iry	2012-03-04 05:05
Story	Diagram showing all programming paradigms and their relationships SQL by Derek Elkins	Peter Van Roy	2012-01-13 17:06
Story	LTL types FRP To emphasize by Derek Elkins	Charles Stewart	2011-11-26 23:39
Story	A Language-Based Approach to Unifying Events and Threads Continuation-Value duality by Derek Elkins	shapr	2011-11-21 12:53
Story	The Experimental Effectiveness of Mathematical Proof Emphasis by Derek Elkins	Paul Snively	2011-11-12 12:16
Forum topic	An Accidental Simula User, Luca Cardelli Me too by Derek Elkins	Isaac Gouy	2011-09-15 12:44
Story	Getting Started Church's Thesis and Functional Programming by Derek Elkins The universality of fold and programming languages by Derek Elkins Another... by Derek Elkins	Ehud Lamm	2011-03-16 17:43
Forum topic	Monads vs. Actors Please tell me how I am supposed to read the following by Derek Elkins What does "abstraction by Derek Elkins Not even wrong by Derek Elkins	Sean McDirmid	2011-03-02 21:15
Forum topic	Seeking papers that unify control theory and programming language design SELFMAN, Willems by Derek Elkins	Z-Bo	2011-01-26 22:41
Forum topic	Points in the Pattern Matching Design Space Pattern Calculus by Derek Elkins	Jules Jacobs	2011-01-26 21:50
Forum topic	Multiple Value Return - Common Lisp vs. Tuples and destructuring This is exactly how tuples by Derek Elkins GHC by Derek Elkins ML by Derek Elkins	scottmcl	2011-01-15 09:49
Story	Guido: Language Design Is Not Just Solving Puzzles I think the programming by Derek Elkins Explicit references considered a very good idea by Derek Elkins This is static(/lexical) scoping by Derek Elkins	Ehud Lamm	2011-01-05 17:06
Forum topic	Tolerant vs. Demanding Software If the software is by Derek Elkins Tolerant /= Robust by Derek Elkins	kclancy	2010-12-30 04:44
Story	Pico Lisp: A Case for Minimalist Interpreters? Good Opening by Derek Elkins	James Hague	2010-12-19 01:55
Story	Tropical Semirings Provenance Semirings by Derek Elkins	neelk	2010-12-10 15:56
Forum topic	Embarrassed Goldbach's conjecture is by Derek Elkins Why ask us? Ask Coq. by Derek Elkins	YSharp	2010-12-07 08:11
Story	If Programming Languages were <T> &Lambda; the Ultimate by Derek Elkins	Chris Rathman	2010-11-30 14:05
Story	Derivatives of Regular Expressions Behavioral Derivative by Derek Elkins Clowns to the left of me, jokers to the right by Derek Elkins	neelk	2010-11-29 23:49
Story	De-Scheming MIT? If I had to choose a by Derek Elkins	Kay Schluehr	2010-11-16 20:43
Forum topic	expressivity of "idiomatic C++" "Why Functional Programming Matters" by Derek Elkins That reminds me by Derek Elkins Minor aside by Derek Elkins Ironic by Derek Elkins Professionalism by Derek Elkins Nth languages by Derek Elkins	el-vadimo	2010-11-10 22:56
Forum topic	GADTs in a dynamically type-checked language? Nonsensical by Derek Elkins	Manuel J. Simoni	2010-09-16 18:43
Forum topic	What are the properties of "Functional Programming Languages"? Don't we all love category theory by Derek Elkins Each Erlang process has a by Derek Elkins C# has perfectly complete by Derek Elkins	kaveh.shahbazian	2010-09-13 17:38
Forum topic	paper: "Purely Functional Structured Programming" If I'm not interested in by Derek Elkins	Steven Obua	2010-07-28 17:53
Story	Functional Pearl: Species and Functors and Types, Oh My! Resolving by Derek Elkins	Matt Hellige	2010-07-05 09:38
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