Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	The theory behind the Terms language	0	12 years 3 weeks ago by Enrique Perez Arnaud	n/a
	LLVM 1.3 is released	0	21 years 36 weeks ago by Chris Lattner	n/a
	monadic constraint programming?	0	20 years 2 weeks ago by L G Meredith	n/a
	Predicate calculus in program verification	0	14 years 2 weeks ago by hbrandl	n/a
	Rewriting Haskell Strings	0	19 years 32 weeks ago by Per Vognsen	n/a
	SPLASH Call for Participation	0	10 years 29 weeks ago by tvdstorm	n/a
	Reusing XML Processing Code in non-XML Applications	0	20 years 45 weeks ago by olpa	n/a
	Correctness proofs demonstrated with natural numbers	0	14 years 31 weeks ago by hbrandl	n/a
	[ANN] Call for Speakers - FP Days 2012 - Cambridge, October 25-26th	0	13 years 49 weeks ago by Mark Dalgarno	n/a
	CFP: PLOS '23: 12th Workshop on Programming Languages and Operating System	0	2 years 41 weeks ago by eeide	n/a
	Owl: A parser generator for visibly pushdown languages.	0	5 years 50 weeks ago by helltone	n/a
	Currying in non-curried languages	0	11 years 49 weeks ago by Chris Warburton	n/a
	Lambda the Ultimate Object	0	6 weeks 2 days ago by François-René Rideau	n/a
	Microsoft Phoenix Framework	0	19 years 47 weeks ago by Wolf Logan	n/a
	set-based 3-tier Client Server programming	0	19 years 37 weeks ago by ashishkh	n/a
	Computing Kazhdan-Lusztig-Vogan Polynomials for E8	0	18 years 36 weeks ago by Koray Can	n/a
	FringeDC Informal Meeting Saturday Nov 10	0	18 years 24 weeks ago by drcode	n/a
	The Epigram Blog	0	20 years 49 weeks ago by Jim Apple	n/a
	DiaGen and DiaPlan	0	20 years 40 weeks ago by Serguey Zefirov	n/a
	ANN: Harmonia-Mode Program Analysis Plug-in for XEmacs	0	21 years 17 weeks ago by HeikoWengler	n/a
	Etech 2006 CFP	0	20 years 32 weeks ago by Ehud Lamm	n/a
	CFP: PLOS '21: 11th Workshop on Programming Languages and Operating Systems	0	4 years 41 weeks ago by eeide	n/a
	Sequentiality, laziness, Haskell, and cyclic block diagrams	0	20 years 13 weeks ago by bdenckla	n/a
	Sunday November 26th - Lisp/Scheme Presentation in DC	0	19 years 21 weeks ago by drcode	n/a
	[ANN]: Open Quark Framework for Java, version 1.6.1 released	0	18 years 30 weeks ago by luke	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