Lambda the Ultimate

type	title	author	last post
Story	General Purpose Cellular Automata Programming DSP by Derek Elkins	Ehud Lamm	2005-07-25 17:44
Forum topic	Dead Languages Timber by Derek Elkins	Jim Apple	2005-07-11 11:14
Forum topic	organizing papers... Organization by Derek Elkins	Matt Hellige	2005-07-07 15:32
Story	Why Dependent Types Matter A simpler more direct explanation by Derek Elkins	Ehud Lamm	2005-07-05 08:34
Story	A Typed, Compositional Logic for a Stack-Based Abstract Machine Just sticking this in by Derek Elkins	Ehud Lamm	2005-07-02 14:15
Story	How To Read a Paper Notation by Derek Elkins	Ehud Lamm	2005-06-27 11:09
Story	Computerworld Development Survey While it is always flattering by Derek Elkins	Ehud Lamm	2005-06-17 06:49
Forum topic	A question I have been meaning to ask. Modal logic and monads by Derek Elkins	Hank Thediek	2005-06-16 14:57
Story	Generic Accumulations: Battery-powered Bananas Recursion Schemes from Comonads by Derek Elkins	Andris Birkmanis	2005-05-04 18:38
Forum topic	mechanics of designing and implementing a language PLAI by Derek Elkins	shahbaz	2005-05-02 09:36
Forum topic	Why Dependent Types Matter CLF by Derek Elkins	Daniel Yokomizo	2005-04-24 09:20
Story	On the Unusual Effectiveness of Logic in Computer Science Logic was first by Derek Elkins	Charles A Stewart	2005-04-21 11:14
Forum topic	According to Allen Holub programming is now a liberal art. When did this happen? QuickCheck by Derek Elkins	ade_oshineye	2005-04-16 22:46
Forum topic	Denotational semantics of a DSL? YAMTR by Derek Elkins	Andris Birkmanis	2005-04-15 19:14
Forum topic	Premonoidal categories and notions of computation From nice to less nice by Derek Elkins	Andris Birkmanis	2005-04-11 07:03
Forum topic	Fun: HaWiki Quotes Page	Derek Elkins	2005-03-31 01:41
Forum topic	Proper tail reflection? Other reflective languages by Derek Elkins	Andris Birkmanis	2005-03-27 09:42
Story	Python: Generator methods and the Schemers should be yawning. by Derek Elkins	Ehud Lamm	2005-03-25 06:14
Forum topic	Embedding one language in another Functional/Logic integration by Derek Elkins	sudarshan	2005-03-24 19:10
Story	UCPy: Reverse Engineering Python Connectivity-Based Garbage Collection? by Derek Elkins	Dominic Fox	2005-03-24 15:19
Forum topic	Halting program density? Unfortunately... by Derek Elkins	Greg Buchholz	2005-03-23 15:27
Forum topic	Journals and papers? Sources and finding sources by Derek Elkins	BigZaphod	2005-03-22 17:56
Forum topic	Call-by-what? Actually I ignored it. by Derek Elkins Pi, Call-by-push-value by Derek Elkins	Andris Birkmanis	2005-02-21 08:28
Forum topic	The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software Lock-freedom by Derek Elkins	ade_oshineye	2005-02-15 21:26
Forum topic	Langauges and Hardware... Re: Stack Computers by Derek Elkins	Matt Estes	2005-02-15 17:11
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