Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Applied Category Theory and Categorical Query Language	0	5 years 3 weeks ago by Ryan Wisnesky	n/a
	Typing a Functional Stack-Based Language	0	17 years 19 weeks ago by cdiggins	n/a
	Cyclic Proofs for First-Order Logic with Inductive Definitions	0	16 years 26 weeks ago by Gavin Mendel-Gleason	n/a
	PLT Scheme 4.0 released	0	16 years 6 weeks ago by Michael Vanier	n/a
	bodyf*ck: an esoteric programming environment using camera input	0	10 years 19 weeks ago by Sean McDirmid	n/a
	Twitter feed recommendation: Meredith Patterson	0	9 years 43 weeks ago by Charles Stewart	n/a
	Saturday January 10th 2009, 2PM: FringeDC Programming Group Formal Meeting	0	15 years 29 weeks ago by drcode	n/a
	Extracting Queries by Static Analysis of Transparent Persistence	0	17 years 27 weeks ago by thgibbs	n/a
	ANN: Open Quark (CAL language) 1.6 Released	0	16 years 47 weeks ago by luke	n/a
	Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop.	0	10 years 35 weeks ago by Alan Schmitt	n/a
	CEPTR presentation @ MIT KIT	0	9 years 10 weeks ago by raould	n/a
	[ANN] Code Generation 2010 Call for Speakers	0	14 years 39 weeks ago by Mark Dalgarno	n/a
	Introduction to the proof engine for static verification of software	0	12 years 22 weeks ago by hbrandl	n/a
	Lobster, a new programming language, just released.	0	11 years 5 weeks ago by Wouter	n/a
	The most obsolete infrastructure money could buy - my worst job ever	0	8 years 47 weeks ago by Manuel J. Simoni	n/a
	Building Compilers by Combining Algebras	0	18 years 45 weeks ago by Allan McInnes	n/a
	Google Scholar	0	19 years 36 weeks ago by Andrei Formiga	n/a
	Phil Wadler's blog	0	19 years 20 weeks ago by Josef Svenningsson	n/a
	Cool stuff from recent conferences	0	7 years 24 weeks ago by Ehud Lamm	n/a
	AutoTest - Automated contract based testing for Eiffel	0	17 years 42 weeks ago by Leland McInnes	n/a
	Erlang Workshop 2006	0	18 years 6 days ago by feeley	n/a
	Clojure 1.2 and Beyond	0	13 years 48 weeks ago by fogus	n/a
	VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos	0	9 years 6 weeks ago by craiganslow	n/a
	REQUEST: Java-Genericity Mailing List Archives	0	13 years 36 weeks ago by Z-Bo	n/a
	Wrangling C via Static Checks	0	9 years 32 weeks ago by raould	n/a
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