Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	The evolution of Rust	92	10 years 49 weeks ago by qznc	10 years 48 weeks ago by Thomas Lord
	Paper journals are in bad shape; priority established in HAL ...	10	10 years 49 weeks ago by Hewitt	10 years 48 weeks ago by Hewitt
	process oriented PL boot-strapping	17	10 years 50 weeks ago by Rys McCusker	10 years 48 weeks ago by Thomas Lord
	Types are fundamental to both logic and computation	283	11 years 3 weeks ago by Hewitt	10 years 49 weeks ago by Keean Schupke
	More information about Albatross	54	10 years 50 weeks ago by hbrandl	10 years 49 weeks ago by marco
	Generating compiler back ends at the snap of a finger	4	11 years 1 week ago by raould	10 years 49 weeks ago by Ben L. Titzer
	Have tracing JIT compilers won?	145	16 years 9 weeks ago by Peter Michaux	10 years 50 weeks ago by Sean McDirmid
	message, stream and protocol typing	31	10 years 51 weeks ago by Rys McCusker	10 years 50 weeks ago by Matt M
	EDSL for hardworking IT programmers	2	10 years 50 weeks ago by jmatsushita	10 years 50 weeks ago by jmatsushita
	SPLASH 2015 - Call for Contributions: Other Tracks	0	10 years 50 weeks ago by craiganslow	n/a
	From Programming Language Design (PLD) to Programmer Experience Design (PXD)	196	10 years 51 weeks ago by Sean McDirmid	10 years 51 weeks ago by marco
	Divergence not bottom?	26	10 years 51 weeks ago by Matt M	10 years 51 weeks ago by Matt M
	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community	128	11 years 3 weeks ago by Phil Miess	10 years 51 weeks ago by johnwcowan
	Trouble understanding Danvy's functional unparsing	7	10 years 51 weeks ago by jezng	10 years 51 weeks ago by johnwcowan
	CEPTR presentation @ MIT KIT	0	10 years 51 weeks ago by raould	n/a
	Callisto: building a minimalist language on "versioned objects"	4	11 years 5 days ago by gasche	10 years 51 weeks ago by Sean McDirmid
	Nanopass Compiler Framework	22	19 years 45 weeks ago by Bryan Turner	10 years 51 weeks ago by Keean Schupke
	Casting addresses of other Actors considered harmful	9	11 years 3 days ago by Hewitt	10 years 52 weeks ago by Hewitt
	A sketch of a "design papers/pearls" category in academic conferences	8	11 years 1 day ago by gasche	10 years 52 weeks ago by raould
	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment	16	11 years 2 weeks ago by Sean McDirmid	11 years 1 day ago by Keean Schupke
	Type Theory Glossary	9	11 years 1 week ago by naasking	11 years 3 days ago by John Shutt
	Albatross formerly called Modern Eiffel is available	13	11 years 1 week ago by hbrandl	11 years 3 days ago by hbrandl
	What makes LtU more or less enjoyable?	61	11 years 2 weeks ago by gasche	11 years 5 days ago by Ehud Lamm
	Pony Actor/OO with Deny Capabilities	2	11 years 1 week ago by raould	11 years 6 days ago by dmbarbour
	Controversy over the definition of "Logic Program"	60	11 years 3 weeks ago by Hewitt	11 years 1 week ago by Hewitt
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