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