Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Tail of Nil and Its Type	37	21 years 32 weeks ago by Andris Birkmanis	21 years 31 weeks ago by Daniel Bonniot
	breve: a 3D simulation environment	4	21 years 31 weeks ago by Frank Atanassow	21 years 31 weeks ago by Frank Atanassow
	First-class labels for extensible rows (draft)	0	21 years 31 weeks ago by Frank Atanassow	n/a
	Slate 0.3 released	4	21 years 31 weeks ago by doublec	21 years 31 weeks ago by Ehud Lamm
	Why type systems are interesting - part II	90	21 years 31 weeks ago by Ehud Lamm	19 years 14 weeks ago by Philippa Cowderoy
	PLs and SE	10	21 years 31 weeks ago by Ehud Lamm	21 years 30 weeks ago by Ehud Lamm
	Constraint-Based Type Inference for Guarded Algebraic Data Types	4	21 years 31 weeks ago by Andris Birkmanis	21 years 31 weeks ago by Andris Birkmanis
	Call-by-what?	18	21 years 31 weeks ago by Andris Birkmanis	21 years 3 weeks ago by Andris Birkmanis
	LPFML, Xml language for linear programming	0	21 years 31 weeks ago by pantagruel	n/a
	New Paul Graham thing...	68	21 years 30 weeks ago by Matt Hellige	21 years 29 weeks ago by andrew cooke
	Why compiler optimizations are interesting	8	21 years 30 weeks ago by Luke Gorrie	21 years 30 weeks ago by rreyelts
	Type Theoretical Foundations for Data Structures, Classes, and Objects	1	21 years 30 weeks ago by Andris Birkmanis	21 years 30 weeks ago by Andris Birkmanis
	Cω vs. Erlang?	6	21 years 30 weeks ago by bzhou	21 years 30 weeks ago by Mark Evans
	LLVM 1.3 is released	0	21 years 30 weeks ago by Chris Lattner	n/a
	hierarchy destruction in Ada	3	21 years 30 weeks ago by Michael Mounteney	21 years 30 weeks ago by Ehud Lamm
	Compaq WebL	1	21 years 30 weeks ago by pantagruel	21 years 30 weeks ago by pantagruel
	Notes from a Concurrency-Oriented Junkie	4	21 years 30 weeks ago by Brent Fulgham	21 years 29 weeks ago by John Eikenberry
	Grad School advice	7	21 years 29 weeks ago by Patrick Schultz	21 years 29 weeks ago by andrew cooke
	The Origins of the Turing Thesis Myth	15	21 years 29 weeks ago by Andris Birkmanis	21 years 28 weeks ago by Andris Birkmanis
	Introduction to computability logic	21	21 years 29 weeks ago by Andris Birkmanis	20 years 46 weeks ago by Andris Birkmanis
	Dynamic Programming Languages + VLIW/EPIC	0	21 years 29 weeks ago by Defiler	n/a
	Which comes first, language or thought?	0	21 years 29 weeks ago by Isaac Gouy	n/a
	Tree programming languages	8	21 years 29 weeks ago by Matt Estes	21 years 26 weeks ago by Marc Hamann
	Candygram: Erlang Message Passing Semantics in Python	3	21 years 29 weeks ago by Dominic Fox	21 years 29 weeks ago by Ehud Lamm
	Partial trig functions	3	21 years 28 weeks ago by andrew cooke	21 years 28 weeks ago by Mark Evans
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