Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Do I need a forall if type parameters are syntactically distinguishable from type constructors?	3	15 years 40 weeks ago by Manuel J. Simoni	15 years 39 weeks ago by Manuel J. Simoni
	Examples of encodings in Pure Type Systems	1	15 years 40 weeks ago by guerrilla_thought	15 years 40 weeks ago by neelk
	Theoretical Computer Science StackExchange Beta now open	21	15 years 41 weeks ago by S. Clover	15 years 40 weeks ago by Charles Stewart
	CS and mathematics dictionary	3	15 years 41 weeks ago by Thomas Strathmann	15 years 41 weeks ago by marco
	Articles on deforestation of functional array/vector/matrix operations in a strict language	2	15 years 41 weeks ago by scottmcl	15 years 41 weeks ago by scottmcl
	new kid on the block: fun4j is a new fp project for the Java VM	5	15 years 41 weeks ago by ThomasMahler	15 years 41 weeks ago by Manuel J. Simoni
	Reading advice on memory management	5	15 years 41 weeks ago by giuseppemag	15 years 41 weeks ago by giuseppemag
	Quick OT Doc Authoring/Equation Editting Question	8	15 years 42 weeks ago by scottmcl	15 years 41 weeks ago by Thomas Strathmann
	Clojure 1.2 and Beyond	0	15 years 42 weeks ago by fogus	n/a
	Miguel de Icaza on Java lawsuit	17	15 years 43 weeks ago by Ehud Lamm	15 years 42 weeks ago by marco
	Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only	19	15 years 42 weeks ago by scottmcl	15 years 42 weeks ago by scottmcl
	The most simple concurrent language?	5	15 years 43 weeks ago by loldrup	15 years 42 weeks ago by Chad Wellington
	The ideal style/system for namespaces.	34	15 years 43 weeks ago by simcop2387	15 years 42 weeks ago by Manuel J. Simoni
	Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs (Tiark Rompf, Martin Odersky)	0	15 years 43 weeks ago by Alex Cruise	n/a
	Synchronic Computaion	5	15 years 43 weeks ago by Alex Berka	15 years 43 weeks ago by Jules Jacobs
	Incompleteness Theorems: The Logical Necessity of Inconsistency	81	15 years 45 weeks ago by Hewitt	15 years 43 weeks ago by Hewitt
	Data schema languages	11	16 years 6 days ago by Matthew Willson	15 years 43 weeks ago by vieiro
	Scheme from Scratch project	5	16 years 21 weeks ago by Peter Michaux	15 years 43 weeks ago by jim-bender
	Lexical Analysis with Extended Identifiers and Disambiguation by Table Look-up.	21	15 years 44 weeks ago by Ed Earl Ross	15 years 43 weeks ago by dmbarbour
	Overlapping Instances + Functional Dependencies Unsound?	14	15 years 45 weeks ago by shap	15 years 44 weeks ago by marco
	CFP: PEPM 2011	3	15 years 44 weeks ago by Andrew Moss	15 years 44 weeks ago by Ehud Lamm
	CUFP 2010	7	15 years 44 weeks ago by yminsky	15 years 44 weeks ago by Z-Bo
	Looking for a language like...	25	15 years 45 weeks ago by Ed Earl Ross	15 years 44 weeks ago by Ed Earl Ross
	Towards general nested data parallelism	2	15 years 44 weeks ago by lmeyerov	15 years 44 weeks ago by lmeyerov
	The C Object System (COS)	2	15 years 45 weeks ago by Mitchell N Charity	15 years 45 weeks ago by Mitchell N Charity
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