Lambda the Ultimate

type	title	author	last post
Story	ECMAScript Edition 4 Reference Implementation and call-by-name... by Derek Elkins	Dave Herman	2017-08-05 19:34
Story	Philip Wadler: Category Theory for the Working Hacker |- means nothing by Derek Elkins	Ehud Lamm	2016-09-23 20:29
Forum topic	What is Intuitive? OT aside by Derek Elkins	raould	2016-05-12 23:55
Story	When Is A Functional Program Not A Functional Program? They don't denote the same value by Derek Elkins	neelk	2015-11-20 21:56
Story	Exceptional syntax Incorrect premise by Derek Elkins	Chung-chieh Shan	2014-11-04 18:51
Forum topic	Concatenative Language Kont Let's not start pointing fing by Derek Elkins Functional languages can "nam by Derek Elkins	Chris	2014-10-22 09:15
Story	Why Concatenative Programming Matters Minor OT: Polymorphic Recursion in Haskell by Derek Elkins	James Iry	2013-09-09 19:40
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future I think it can fairly be by Derek Elkins	Ehud Lamm	2013-07-28 20:42
Forum topic	Cost of provably-correct code The programmers by Derek Elkins	Ehud Lamm	2013-07-06 19:56
Forum topic	Seeking thoughtful criticisms of functional programming and languages I add scalars and vectors by Derek Elkins	scottmcl	2013-03-31 00:40
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
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