Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Why type systems are interesting	187	21 years 31 weeks ago by Anton van Straaten	15 years 49 weeks ago by Ray Dillinger
	Full abstraction is not very abstract (via comp.lang.scheme)	0	21 years 31 weeks ago by Dave Herman	n/a
	ll-discuss's new home	5	21 years 31 weeks ago by Dave Herman	21 years 31 weeks ago by Dave Herman
	AOP Without The Buzzwords	3	21 years 31 weeks ago by John Heron	21 years 31 weeks ago by Mark Evans
	Cω Preview Available	26	21 years 31 weeks ago by aelij	21 years 29 weeks ago by Marcin Stefaniak
	Fantazies on "final"	8	21 years 31 weeks ago by Andris Birkmanis	21 years 31 weeks ago by Frank Atanassow
	lua book available online.	0	21 years 31 weeks ago by Alexandre Richer	n/a
	Embedding Prolog in Haskell	57	21 years 31 weeks ago by Frank Atanassow	14 years 6 days ago by j4n bur53
	Papers' repositories	3	21 years 31 weeks ago by Andris Birkmanis	21 years 30 weeks ago by Ehud Lamm
	Epigram - incremental interactive typechecking	1	21 years 30 weeks ago by shapr	21 years 30 weeks ago by Bryn Keller
	Info needed	5	21 years 30 weeks ago by Ehud Lamm	21 years 30 weeks ago by Ehud Lamm
	PyCLIPS - expert systems shell in Python	5	21 years 30 weeks ago by Dominic Fox	21 years 29 weeks ago by franzg
	Database Theory and Type systems/Programming Languages.	5	21 years 30 weeks ago by Matt Estes	21 years 30 weeks ago by Oleg
	Introducing o:XML	13	21 years 30 weeks ago by Dominic Fox	21 years 30 weeks ago by pantagruel
	Mila	16	21 years 30 weeks ago by Christian Staudenmeyer	21 years 29 weeks ago by Christian Staudenmeyer
	Having trouble with 'purity'	10	21 years 30 weeks ago by mjstahl	21 years 30 weeks ago by Anton van Straaten
	Eclipse C/C++ Dev Tools 2.0 Released	1	21 years 30 weeks ago by Mark Evans	21 years 30 weeks ago by Mark Evans
	Type systems and software evolution	4	21 years 30 weeks ago by Ehud Lamm	21 years 30 weeks ago by Mark Evans
	The Sphere Online Judge	0	21 years 30 weeks ago by Jim Apple	n/a
	A Functional Semantics of Attribute Grammars	2	21 years 29 weeks ago by Andris Birkmanis	21 years 29 weeks ago by Andris Birkmanis
	Vyper is missing	5	21 years 29 weeks ago by Florian Hars	19 years 4 weeks ago by skaller
	Mind the Gap	2	21 years 29 weeks ago by pantagruel	21 years 29 weeks ago by Frank Atanassow
	IronPython: First public version released	1	21 years 29 weeks ago by Oliver Horn	21 years 29 weeks ago by Oliver Horn
	techniques for JIT (parallel?) compilation of straight line numerical code	2	21 years 29 weeks ago by Jonathan Graehl	21 years 29 weeks ago by Darius Bacon
	Oberon Day @ CERN 2004	0	21 years 28 weeks ago by Isaac Gouy	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