Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Will Rubinius be an Acceptable Lisp	0	19 years 22 weeks ago by pate	n/a
	Call by push-value	25	19 years 22 weeks ago by Denis Bredelet -jido	19 years 22 weeks ago by Michael Vanier
	On Presenting the Semantics of Cat Formally	3	19 years 22 weeks ago by cdiggins	19 years 22 weeks ago by cdiggins
	FringeDC Informal Meeting- Jan 13th	0	19 years 23 weeks ago by drcode	n/a
	Are Frames and Slots anything more that OO with a different name?	9	19 years 23 weeks ago by JamesLitsios	19 years 23 weeks ago by Gavin Harrison
	Eta-expansion of abstractions outside the lambda-calculus	4	19 years 23 weeks ago by Daniel Slaney	19 years 23 weeks ago by Daniel Slaney
	Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3	0	19 years 23 weeks ago by Lucius Gregory Meredith	n/a
	Postfix lambdas	2	19 years 24 weeks ago by Robbert van Dalen	19 years 23 weeks ago by Robbert van Dalen
	I want to learn Smalltalk	18	19 years 23 weeks ago by uchchwhash	19 years 23 weeks ago by Chris Rathman
	A Web of Code	0	19 years 23 weeks ago by AlpT	n/a
	Why Johnny can't code	64	19 years 39 weeks ago by Matthew Willson	19 years 23 weeks ago by dough
	D 1.0 finally released	1	19 years 23 weeks ago by David Medlock	19 years 23 weeks ago by Denis Bredelet -jido
	Quotation and evaluation -- or, how pure is the pure lambda calculus?	10	19 years 25 weeks ago by Lucius Gregory Meredith	19 years 23 weeks ago by Charles Stewart
	"Limits to implicit parallelism in functional application"	6	19 years 24 weeks ago by John DeTreville	19 years 23 weeks ago by Serguey Zefirov
	Question About Computational Complexity	6	19 years 24 weeks ago by Matteo	19 years 23 weeks ago by neelk
	(Even more) theorems for free?	20	19 years 25 weeks ago by Andris Birkmanis	19 years 23 weeks ago by sigfpe
	Metrics for Programmatic Complexity?	15	19 years 24 weeks ago by johnnyb	19 years 23 weeks ago by johnnyb
	Type inference and unification algorithms	1	19 years 24 weeks ago by procyon	19 years 24 weeks ago by Greg Buchholz
	Notes on category theory and the pi calculus	0	19 years 24 weeks ago by stevechy	n/a
	Survey of delay constructs in logic/constraint PLs?	2	19 years 24 weeks ago by Andris Birkmanis	19 years 24 weeks ago by Peter Van Roy
	Reference and reasoning -- or, how pure is the pure lambda calculus, part 2	2	19 years 24 weeks ago by Lucius Gregory Meredith	19 years 24 weeks ago by Lucius Gregory Meredith
	Commercial Users of Functional Programming 2006	23	19 years 27 weeks ago by Isaac Gouy	19 years 24 weeks ago by Srikumar Subramanian
	Attempto Controlled English (ACE)	1	19 years 26 weeks ago by Isaac Gouy	19 years 24 weeks ago by Brent Fulgham
	GAs v. GPs	2	19 years 25 weeks ago by dmstat1	19 years 25 weeks ago by Ehud Lamm
	Understanding State	0	19 years 25 weeks ago by Hank Thediek	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