Lambda the Ultimate

type	title	author	last post
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
Story	The Church Project FLINT by Derek Elkins	Andris Birkmanis	2005-02-09 11:25
Story	A Type System Equivalent to Flow Analysis OTOH, the equivalence paper I by Derek Elkins	Andris Birkmanis	2005-02-08 18:22
Forum topic	A question for the theory guys Functorial Semantics of Algebraic Theories by Derek Elkins	Klaus Ostermann	2005-02-06 16:15
Forum topic	Avoiding worst case GC with large amounts of data? Don't confuse User-Space with "not the kernel" by Derek Elkins In an ideal world... by Derek Elkins And if, and if, and if... by Derek Elkins Many solutions, but... by Derek Elkins Incremental GC by Derek Elkins	James Hague	2005-02-04 17:45
Story	Region Streams: Functional Macroprogramming for Sensor Networks TinyOS by Derek Elkins	Ehud Lamm	2005-02-04 03:36
Forum topic	Speech-to-text friendly programming languages Well if we're not... by Derek Elkins	Jefferson Heard	2005-01-15 15:55
Forum topic	Linking comments	Derek Elkins	2005-01-06 11:03
Forum topic	Purely Functional Programming for Sensor Nets	Derek Elkins	2004-12-04 06:04
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