Lambda the Ultimate

type	title	author	last post
Forum topic	Fixpoint theory, induction and recursion Aside by Derek Elkins	hbrandl	2013-03-08 04:14
Forum topic	What will programming look like in 2020? Cache-oblivious algorithms by Derek Elkins	Sean McDirmid	2013-03-01 03:45
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" What if instead of the by Derek Elkins OOP from Message Passing Concurrency by Derek Elkins	w7cook	2013-01-08 20:02
Story	What is polytypic programming? Introspection by Derek Elkins	Jim Apple	2012-06-21 02:05
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	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	Cyril	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
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