Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Database Theory and Type systems/Programming Languages.	5	21 years 47 weeks ago by Matt Estes	21 years 47 weeks ago by Oleg
	Eclipse C/C++ Dev Tools 2.0 Released	1	21 years 47 weeks ago by Mark Evans	21 years 47 weeks ago by Mark Evans
	Introducing o:XML	13	21 years 47 weeks ago by Dominic Fox	21 years 47 weeks ago by pantagruel
	Type systems and software evolution	4	21 years 47 weeks ago by Ehud Lamm	21 years 47 weeks ago by Mark Evans
	The Sphere Online Judge	0	21 years 47 weeks ago by Jim Apple	n/a
	Info needed	5	21 years 48 weeks ago by Ehud Lamm	21 years 47 weeks ago by Ehud Lamm
	Having trouble with 'purity'	10	21 years 47 weeks ago by mjstahl	21 years 47 weeks ago by Anton van Straaten
	A Functional Semantics of Attribute Grammars	2	21 years 47 weeks ago by Andris Birkmanis	21 years 47 weeks ago by Andris Birkmanis
	IronPython: First public version released	1	21 years 46 weeks ago by Oliver Horn	21 years 46 weeks ago by Oliver Horn
	PyCLIPS - expert systems shell in Python	5	21 years 48 weeks ago by Dominic Fox	21 years 46 weeks ago by franzg
	Mind the Gap	2	21 years 46 weeks ago by pantagruel	21 years 46 weeks ago by Frank Atanassow
	Cω Preview Available	26	21 years 48 weeks ago by aelij	21 years 46 weeks ago by Marcin Stefaniak
	techniques for JIT (parallel?) compilation of straight line numerical code	2	21 years 46 weeks ago by Jonathan Graehl	21 years 46 weeks ago by Darius Bacon
	Mila	16	21 years 47 weeks ago by Christian Staudenmeyer	21 years 46 weeks ago by Christian Staudenmeyer
	International Components for Unicode 3.0 Released	18	21 years 50 weeks ago by Mark Evans	21 years 46 weeks ago by Mark Evans
	Oberon Day @ CERN 2004	0	21 years 46 weeks ago by Isaac Gouy	n/a
	breve: a 3D simulation environment	4	21 years 45 weeks ago by Frank Atanassow	21 years 45 weeks ago by Frank Atanassow
	First-class labels for extensible rows (draft)	0	21 years 45 weeks ago by Frank Atanassow	n/a
	Tail of Nil and Its Type	37	21 years 46 weeks ago by Andris Birkmanis	21 years 45 weeks ago by Daniel Bonniot
	Slate 0.3 released	4	21 years 45 weeks ago by doublec	21 years 45 weeks ago by Ehud Lamm
	Constraint-Based Type Inference for Guarded Algebraic Data Types	4	21 years 45 weeks ago by Andris Birkmanis	21 years 45 weeks ago by Andris Birkmanis
	LPFML, Xml language for linear programming	0	21 years 44 weeks ago by pantagruel	n/a
	Type Theoretical Foundations for Data Structures, Classes, and Objects	1	21 years 44 weeks ago by Andris Birkmanis	21 years 44 weeks ago by Andris Birkmanis
	PLs and SE	10	21 years 45 weeks ago by Ehud Lamm	21 years 44 weeks ago by Ehud Lamm
	LLVM 1.3 is released	0	21 years 44 weeks ago by Chris Lattner	n/a
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