Lambda the Ultimate

• Active forum discussions.
• Login to post a new forum topic.

	Topic	Replies	Created	Last reply
	Choosing a VM for a concurrent language	16	3 days 2 hours ago by Shrutarshi Basu	7 hours 20 min ago by dmbarbour
	Examples of encodings in Pure Type Systems	1	2 days 6 hours ago by guerrilla_thought	1 day 16 hours ago by neelk
	Unifying Actors and Objects?	17	1 week 4 days ago by Shrutarshi Basu	2 days 23 hours ago by dmbarbour
	Theoretical Computer Science StackExchange Beta now open	21	1 week 5 hours ago by S. Clover	3 days 1 hour ago by Charles Stewart
	Articles on Precise GC with Parametric Polymorphism	9	1 week 2 days ago by scottmcl	3 days 2 hours ago by Rodrigo Kumpera
	CS and mathematics dictionary	3	6 days 9 hours ago by Thomas Strathmann	6 days 4 hours ago by marco
	Computational equivalent of incompleteness theorems?	10	1 week 1 day ago by naasking	6 days 7 hours ago by Paul Snively
	The Grafwegen Hi Compiler named Hic release 0.1	39	2 weeks 2 days ago by marco	6 days 8 hours ago by johnwcowan
	Articles on deforestation of functional array/vector/matrix operations in a strict language	2	1 week 2 days ago by scottmcl	1 week 8 hours ago by scottmcl
	new kid on the block: fun4j is a new fp project for the Java VM	5	1 week 2 days ago by ThomasMahler	1 week 1 day ago by Manuel J. Simoni
	Reading advice on memory management	5	1 week 2 days ago by giuseppemag	1 week 1 day ago by giuseppemag
	Quick OT Doc Authoring/Equation Editting Question	8	2 weeks 1 day ago by scottmcl	1 week 2 days ago by Thomas Strathmann
	Clojure 1.2 and Beyond	0	1 week 4 days ago by fogus	n/a
	Miguel de Icaza on Java lawsuit	17	2 weeks 5 days ago by Ehud Lamm	1 week 6 days ago by marco
	Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only	19	2 weeks 3 days ago by scottmcl	2 weeks 10 hours ago by scottmcl
	The most simple concurrent language?	5	3 weeks 1 day ago by loldrup	2 weeks 2 days ago by Chad Wellington
	The ideal style/system for namespaces.	34	2 weeks 6 days ago by simcop2387	2 weeks 3 days ago by Manuel J. Simoni
	Why a film about the APL array language family?	8	12 weeks 1 day ago by clathwell	2 weeks 6 days ago by clathwell
	Compiler Design Q&A Site	1	3 weeks 2 days ago by gorauskas	3 weeks 9 hours ago by Rehno Lindeque
	Deprecating the Observer Pattern	46	4 weeks 6 days ago by Alex Cruise	3 weeks 15 hours ago by Ingo Maier
	Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs (Tiark Rompf, Martin Odersky)	0	3 weeks 1 day ago by Alex Cruise	n/a
	Synchronic Computaion	5	3 weeks 1 day ago by alexberka	3 weeks 1 day ago by Jules Jacobs
	Incompleteness Theorems: The Logical Necessity of Inconsistency	81	4 weeks 3 days ago by Hewitt	3 weeks 2 days ago by Hewitt
	How to classify type of ML's exn ? (Naive question)	7	3 weeks 3 days ago by scottmcl	3 weeks 2 days ago by Andreas Rossberg
	Data schema languages	11	12 weeks 4 days ago by Matthew Willson	3 weeks 2 days ago by vieiro
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