Lambda the Ultimate

type	title	author	last post
Forum topic	Recursive Algorithms that cannot be expresses with Tail-Recursion? No by Derek Elkins	Anon Adderlan	2008-02-19 15:09
Forum topic	Languages and data conversions. [Meta] by Derek Elkins	David Ryan	2008-02-14 21:32
Forum topic	Lanugages with built-in rules/tests? CHdBLL Correspondence by Derek Elkins New breed of dependently typed languages by Derek Elkins	raould	2008-02-11 17:01
Story	The Design and Implementation of Typed Scheme Types by Derek Elkins Parametricity by Derek Elkins Not type dependent by Derek Elkins	Ehud Lamm	2008-02-08 03:56
Forum topic	Embedded concurrent FPish languages? Functional reactive by Derek Elkins	raould	2008-01-31 19:51
Forum topic	How useful is reflection, anyway? Run-time v. Compile-time by Derek Elkins	Scott Johnson	2008-01-31 18:41
Story	Recycling Continuations I've been looking for this paper. by Derek Elkins	neelk	2008-01-25 23:03
Forum topic	MapReduce [OT, Meta] #haskell by Derek Elkins	jaylac	2008-01-25 06:00
Forum topic	poll: syntax I'm wondering what makes by Derek Elkins	Givas	2008-01-25 02:00
Forum topic	Ruby vs. Smalltalk Surely you mean "Welcome by Derek Elkins	Jack Waugh	2008-01-23 17:23
Forum topic	Compile-Time Execution in an Object Oriented Language Similarly for C# by Derek Elkins	cdiggins	2008-01-22 21:31
Forum topic	Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility fixed by Derek Elkins	Derek Elkins	2008-01-22 19:01
Forum topic	The Logic of Proofs	Derek Elkins	2008-01-22 06:47
Forum topic	Well-typed programs can’t be blamed Tech Talk by Derek Elkins	Marc Hamann	2008-01-15 00:40
Forum topic	Nested Schedulers: A Tree Is Not Enough? Lock free algorithms by Derek Elkins	Andris Birkmanis	2008-01-04 09:09
Forum topic	functions, statements, expressions Theory applied by Derek Elkins Which? by Derek Elkins There were at least two by Derek Elkins We just discussed this by Derek Elkins	Jason Dusek	2007-12-25 10:52
Forum topic	Concurrency with Scheme Sequential Concurrency and Concurrent Sequences by Derek Elkins	vieiro	2007-12-21 20:56
Forum topic	The work of Atsushi Ohori Genuine shift/reset in Haskell98 by Derek Elkins The work of Kenichi Asai by Derek Elkins	Derek Elkins	2007-12-15 05:26
Story	S has a left inverse Here's by Derek Elkins	Charles Stewart	2007-12-12 16:25
Forum topic	Connecting the first steps Elsewhere by Derek Elkins	rmlinden	2007-12-06 13:08
Forum topic	Monadic and Substructural Type Systems for Region-Based Memory Management There was discussion (and sufficient enough for me) by Derek Elkins Linearity by Derek Elkins Exercise by Derek Elkins GC and Region Inference by Derek Elkins GC by Derek Elkins	naasking	2007-12-05 17:38
Story	Parametric datatype-genericity Very well known by Derek Elkins	Ehud Lamm	2007-12-05 03:39
Forum topic	On the Importance of Purity Terminology by Derek Elkins Metaprogramming by Derek Elkins Not more precision, more clarity by Derek Elkins Usually, type checkers don't by Derek Elkins CH by Derek Elkins Your part on CH is totally jacked up by Derek Elkins	naasking	2007-12-02 14:53
Forum topic	Derivation trees for lambda-calculus Tim by Derek Elkins	ilSignorCarlo	2007-11-28 22:03
Forum topic	A survey and discussion of taming effects Effect systems by Derek Elkins	naasking	2007-11-28 19:24
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