Lambda the Ultimate

type	title	author	last post
Forum topic	organizing papers... citeulike by Dave Herman	Matt Hellige	2005-07-07 15:32
Story	Why Dependent Types Matter reference by Dave Herman googling for ∀ by Dave Herman	Ehud Lamm	2005-07-05 08:34
Story	The Four Questions	Dave Herman	2005-07-05 07:19
Story	Behaviour: Using CSS selectors to apply Javascript functionality sure by Dave Herman here's a prototype by Dave Herman modularity by Dave Herman another use by Dave Herman yay Javascript by Dave Herman	Ehud Lamm	2005-07-05 05:58
Forum topic	Functions as Classes: Which languages? Javascript, PLT Scheme by Dave Herman	cdiggins	2005-07-02 12:45
Forum topic	Why recursing is better than looping INTERCAL by Dave Herman	johnnyb	2005-06-29 20:27
Story	How To Read a Paper couple tips by Dave Herman it's a language by Dave Herman	Ehud Lamm	2005-06-27 11:09
Forum topic	Garbage collecting computations also... by Dave Herman try this by Dave Herman	Andris Birkmanis	2005-06-22 07:27
Story	Bottom-Up beta-Substitution: Uplinks and lambda-DAGs mmm, meta-recursion by Dave Herman	Andris Birkmanis	2005-06-10 00:49
Forum topic	Short examples of complex use of state? oh, wait... by Dave Herman how about by Dave Herman	neelk	2005-06-01 19:44
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
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