Lambda the Ultimate

type	title	author	last post
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
Story	Linear Logic and Permutation Stacks--The Forth Shall Be First The RAFTS project had some by Derek Elkins	Luke Gorrie	2009-03-14 06:49
Forum topic	Using coalgebraic structures for traversing ADTs lazily If you were coming at this by Derek Elkins	marco	2009-03-10 01:49
Story	Denotational design with type class morphisms Type classes as theories indeed by Derek Elkins Type classes don't have a denotation by Derek Elkins Semantic Algebras by Derek Elkins Algebraic Semantics by Derek Elkins	Matt Hellige	2009-02-25 20:28
Forum topic	Declarative layout and/or UI languages? Animation: From Cartoons to by Derek Elkins	naasking	2009-02-18 10:05
Story	Parameterized Notions of Computation I would think it would be by Derek Elkins We'll add -Wmutation to GCC by Derek Elkins	neelk	2009-02-17 19:38
Story	LtU: blog not forum! This was the gist of my post by Derek Elkins Perhaps it would be by Derek Elkins Being the author of this the by Derek Elkins	Ehud Lamm	2009-02-14 14:11
Forum topic	Looking for papers describing advanced language topics in terms of C programming closing over by Derek Elkins	derekp	2009-02-12 06:39
Forum topic	Introducing Dawn - yet another new language Policy by Derek Elkins	Poul Krogh	2009-02-06 09:07
Forum topic	Explaining monads There's no way Arrows can be by Derek Elkins I find that one more by Derek Elkins	Ehud Lamm	2009-01-30 11:43
Forum topic	The Origins of the BitC Programming Language This is much better, but by Derek Elkins To answer your very last by Derek Elkins	Isaac Gouy	2009-01-30 00:38
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