Lambda the Ultimate

type	title	author	last post
Forum topic	Claiming Infinity Jacques response was not by Derek Elkins	Julian Rohrhuber	2010-02-03 12:53
Forum topic	Quantum Lambda Calculus Jaynes, Hestenes, Grandy by Derek Elkins	Wolf Logan	2010-01-24 22:41
Forum topic	Programming Language transformation? Intentional Programming by Derek Elkins	raould	2009-12-23 17:28
Story	No more tail calls in Javascript? My examples fall into either by Derek Elkins Tail calls are not an FPL thing by Derek Elkins	Noel	2009-12-23 08:32
Story	John Hughes on Erlang and Haskell Presumably showing such by Derek Elkins Just to be clear, the by Derek Elkins	James Iry	2009-12-02 10:16
Story	Minimal FORTH compiler and tutorial You don't want that to be all... by Derek Elkins Factor by Derek Elkins	Ehud Lamm	2009-11-03 02:39
Forum topic	Branching constructs in intermediate languages I would say a case by Derek Elkins	Douglas McClean	2009-11-02 22:43
Story	Patrick Logan on Software Transaction Memory Lock-free, not lock free by Derek Elkins Lock-freedom by Derek Elkins	Ehud Lamm	2009-10-26 21:48
Forum topic	Programming (language) puzzles A practical example by Derek Elkins	Chung-chieh Shan	2009-10-02 17:42
Forum topic	Tools for (PhD) Researching Your thesis is on by Derek Elkins	sciomako	2009-09-30 01:38
Forum topic	Background of call/cc What you want can easily be by Derek Elkins	thomash	2009-09-15 21:03
Forum topic	Categorical semantics for F_\omega You can read Bart Jacobs' by Derek Elkins	Caylee Hogg	2009-09-11 14:46
Forum topic	Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp Aside: Real numbers by Derek Elkins	Colin Kemp	2009-08-26 03:13
Forum topic	Receiver knowing the sender? Mirrors by Derek Elkins	BigZaphod	2009-08-25 21:27
Story	Function Interface Models for Hardware Compilation Behavioural SPecification Language by Derek Elkins	Matt Hellige	2009-08-22 21:39
Forum topic	World’s first formal machine-checked proof of a general-purpose operating system kernel	Derek Elkins	2009-08-14 01:20
Forum topic	Definition of Functional Programming Language Omniscient Debugging by Derek Elkins Backus' definition of FP by Derek Elkins	vag	2009-08-07 22:39
Forum topic	Total functional language self interpreter? A countability argument is by Derek Elkins	jason stumpf	2009-06-27 13:57
Forum topic	The Meta-LtU Thread I will verify that by Derek Elkins	Leon P Smith	2009-06-14 13:43
Story	Richard Feynman and the Connection Machine [Random] Karl Sims by Derek Elkins	Luke Gorrie	2009-06-08 11:11
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Categorical Logic by Derek Elkins CLF by Derek Elkins My absolute favourite paper by Derek Elkins	John Carter	2009-05-23 23:23
Story	ADD 50 TO COBOL GIVING COBOL What are the PLT contributions of Cobol? by Derek Elkins	James Iry	2009-05-02 10:14
Forum topic	Writing an interpreter, targeting a VM or writing from scratch? One interesting approach by Derek Elkins	Johan Tibell	2009-04-28 20:09
Story	Building a Modern Computer From First Principles Firstly, I have to say I hear by Derek Elkins	Ehud Lamm	2009-03-30 07:07
Story	ACM Queue: A Conversation with Alan Kay Type Signatures in Haskell Practice by Derek Elkins	Ehud Lamm	2009-03-24 18: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