Lambda the Ultimate

type	title	author	last post
Forum topic	Archiving LISP history it's in there by Dave Herman	Paul McJones	2005-05-26 02:28
Story	subtext: Uncovering the simplicity of programming discussed on ll-discuss by Dave Herman	Ehud Lamm	2005-05-12 20:49
Forum topic	Links Some people work very hard / but still they never get it right by Dave Herman build woes by Dave Herman some applications by Dave Herman	Philip Wadler	2005-05-07 10:23
Forum topic	R6RS Scheme Status Report Re: lazy evaluation by Dave Herman	Matthew Morgan	2005-05-05 04:07
Story	Computer generates verifiable mathematics proof not to worry by Dave Herman	Ehud Lamm	2005-04-27 10:44
Forum topic	Introduction to computability logic Hilbert Spaces to Dilbert Spaces by Dave Herman	Andris Birkmanis	2005-04-25 07:51
Forum topic	Why Dependent Types Matter yay sliders by Dave Herman	Daniel Yokomizo	2005-04-24 09:20
Story	On the Unusual Effectiveness of Logic in Computer Science un-astounding by Dave Herman	Charles A Stewart	2005-04-21 11:14
Story	Sam Ruby: Continuations for Curmudgeons	Dave Herman	2005-04-19 14:04
Forum topic	Denotational semantics of a DSL? me too by Dave Herman	Andris Birkmanis	2005-04-15 19:14
Forum topic	Phenomenology of Languages and Language Design good idea by Dave Herman useful assignment for programming researchers by Dave Herman	sridhar_v13	2005-04-11 11:35
Story	How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible yes -- but it's still nothing to fear by Dave Herman good point by Dave Herman nothing to be afraid of by Dave Herman	Ehud Lamm	2005-04-03 13:54
Forum topic	Embedding one language in another some work on foreign interfaces by Dave Herman	sudarshan	2005-03-24 19:10
Story	μABC: A Minimal Aspect Calculus monads by Dave Herman	Andris Birkmanis	2005-03-22 22:02
Story	A New Approach to Abstract Syntax with Variable Binding	Dave Herman	2005-03-17 08:42
Forum topic	The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software the State department has declared me stateless by Dave Herman	ade_oshineye	2005-02-15 21:26
Forum topic	Incompleteness in semantics and parallel-or some links by Dave Herman	Jacques Carette	2005-01-14 03:32
Story	Implementation of FPL cafepress by Dave Herman	Chris Rathman	2005-01-07 20:55
Story	Use Continuations to Develop Complex Web Applications	Dave Herman	2005-01-01 01:50
Story	Tim Bray: Sun & Dynamic Java how soon you hit the wall by Dave Herman guarantee by Dave Herman java.lang.StackOverflowError by Dave Herman what is this "recursion" you speak of? by Dave Herman	Ehud Lamm	2004-12-18 13:09
Forum topic	Online Bibliography of Partial Evaluation Research um.. by Dave Herman okay by Dave Herman	Dave Herman	2004-12-01 10:06
Story	Darcs: an open source version control system implemented in Haskell oh yeah! by Dave Herman changeset algebra by Dave Herman	Dominic Fox	2004-11-26 04:44
Story	Skribe 1.2b released growing a programmer by Dave Herman	Dave Herman	2004-11-22 02:51
Forum topic	Scheme Language Standardization Process: R6RS Progress Report Re: Actually by Dave Herman careful by Dave Herman	mwand	2004-11-01 20:14
Forum topic	Grad School [Master's Programs] archive: grad schol advice by Dave Herman	tofupup	2004-10-31 01:08
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