Lambda the Ultimate

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

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