Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Breaking region nesting in type-and-effect systems?	8	18 years 8 weeks ago by naasking	17 years 50 weeks ago by naasking
	Writing a new language - ideas?	33	17 years 50 weeks ago by windozer	17 years 50 weeks ago by Achilleas Margaritis
	Lambda in the Sun - Southern California Functional Programmers	0	17 years 50 weeks ago by James Iry	n/a
	FringeDC Programming Group Formal Meeting- July 12th, 6PM	0	17 years 50 weeks ago by drcode	n/a
	A Million Actors, Safe Zero-Copy Communication - for Java	1	17 years 51 weeks ago by Isaac Gouy	17 years 51 weeks ago by Denis Bredelet -jido
	Call for Papers: Symposium on Logical Foundations of Computer Science	0	17 years 51 weeks ago by yegor	n/a
	Higher-order type constructor polymorphism vs./and template style specialization	5	17 years 51 weeks ago by scottmcl	17 years 51 weeks ago by Matt Hellige
	On the importance of Turing completeness	36	18 years 1 day ago by jdgallag	17 years 51 weeks ago by Scott Johnson
	Volta Job Opportunities	0	17 years 51 weeks ago by Erik Meijer	n/a
	Liquid Types	0	17 years 51 weeks ago by raould	n/a
	Preemptive concurrency via compiler-inserted checks	16	18 years 3 hours ago by naasking	17 years 51 weeks ago by naasking
	Our Own Little Language	7	18 years 1 week ago by killprogram	17 years 51 weeks ago by Leon P Smith
	First class class objects, class vs. value namespaces, etc.	6	18 years 1 week ago by scottmcl	18 years 10 hours ago by pete kirkham
	PLT Scheme 4.0 released	0	18 years 22 hours ago by Michael Vanier	n/a
	erlang green threads and the CLR	29	18 years 1 week ago by addmoreice	18 years 1 day ago by naasking
	using foldr to do map	3	18 years 2 days ago by jdgallag	18 years 2 days ago by jdgallag
	what a type system always proves vs. what it can be made to prove	11	18 years 1 week ago by bdenckla	18 years 2 days ago by Ehud Lamm
	help with understanding combinatory logic	7	18 years 1 week ago by happycow	18 years 2 days ago by fruehr
	What kind of a category is the blue calculus?	2	18 years 4 days ago by mikestay	18 years 3 days ago by mikestay
	Dead-end theorems	11	18 years 1 week ago by Ehud Lamm	18 years 1 week ago by Ehud Lamm
	Continuation based I/O with referential trasparency (Hope+) ?	3	18 years 1 week ago by raould	18 years 1 week ago by raould
	Metadebugging (i.e. founding metabugs) methodology.	3	18 years 2 weeks ago by Basile STARYNKEVITCH	18 years 1 week ago by Basile STARYNKEVITCH
	Lambda The Ultimate comes to SecondLife	16	19 years 23 weeks ago by akravets	18 years 1 week ago by Philippa Cowderoy
	Software complexity as means of professional advancement	51	18 years 2 weeks ago by Denis Bredelet -jido	18 years 1 week ago by Burton Samograd
	ALTA 2008 - Call for Participation	0	18 years 2 weeks ago by jbfryman	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