Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Constraint-Based Type Inference for Guarded Algebraic Data Types	4	21 years 44 weeks ago by Andris Birkmanis	21 years 44 weeks ago by Andris Birkmanis
	Slate 0.3 released	4	21 years 44 weeks ago by doublec	21 years 44 weeks ago by Ehud Lamm
	Tail of Nil and Its Type	37	21 years 45 weeks ago by Andris Birkmanis	21 years 44 weeks ago by Daniel Bonniot
	First-class labels for extensible rows (draft)	0	21 years 44 weeks ago by Frank Atanassow	n/a
	breve: a 3D simulation environment	4	21 years 45 weeks ago by Frank Atanassow	21 years 45 weeks ago by Frank Atanassow
	Oberon Day @ CERN 2004	0	21 years 45 weeks ago by Isaac Gouy	n/a
	International Components for Unicode 3.0 Released	18	21 years 50 weeks ago by Mark Evans	21 years 45 weeks ago by Mark Evans
	Mila	16	21 years 47 weeks ago by Christian Staudenmeyer	21 years 46 weeks ago by Christian Staudenmeyer
	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
	Cω Preview Available	26	21 years 48 weeks ago by aelij	21 years 46 weeks ago by Marcin Stefaniak
	Mind the Gap	2	21 years 46 weeks ago by pantagruel	21 years 46 weeks ago by Frank Atanassow
	PyCLIPS - expert systems shell in Python	5	21 years 47 weeks ago by Dominic Fox	21 years 46 weeks ago by franzg
	IronPython: First public version released	1	21 years 46 weeks ago by Oliver Horn	21 years 46 weeks ago by Oliver Horn
	A Functional Semantics of Attribute Grammars	2	21 years 46 weeks ago by Andris Birkmanis	21 years 46 weeks ago by Andris Birkmanis
	Having trouble with 'purity'	10	21 years 47 weeks ago by mjstahl	21 years 46 weeks ago by Anton van Straaten
	Info needed	5	21 years 47 weeks ago by Ehud Lamm	21 years 46 weeks ago by Ehud Lamm
	The Sphere Online Judge	0	21 years 46 weeks ago by Jim Apple	n/a
	Type systems and software evolution	4	21 years 47 weeks ago by Ehud Lamm	21 years 46 weeks ago by Mark Evans
	Introducing o:XML	13	21 years 47 weeks ago by Dominic Fox	21 years 47 weeks ago by pantagruel
	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
	Database Theory and Type systems/Programming Languages.	5	21 years 47 weeks ago by Matt Estes	21 years 47 weeks ago by Oleg
	Old computer science and technical books worth searching for	16	21 years 48 weeks ago by James Hague	21 years 47 weeks ago by Per Vognsen
	Epigram - incremental interactive typechecking	1	21 years 47 weeks ago by shapr	21 years 47 weeks ago by Bryn Keller
	Summary of techniques / approaches / models / languages for parallel computation	8	21 years 48 weeks ago by andrew cooke	21 years 47 weeks ago by Darius Bacon
	Papers' repositories	3	21 years 47 weeks ago by Andris Birkmanis	21 years 47 weeks ago by Ehud Lamm
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