Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Interesting use cases for universal quantifiers in rank 2?	0	9 years 19 weeks ago by Alex Shpilkin	n/a
	modus_ponens, a library to develop inference engines.	0	5 years 41 weeks ago by Enrique Perez Arnaud	n/a
	POPL 2011 post-processing	0	15 years 5 weeks ago by Chad Wellington	n/a
	Question on top-level (and other) environments	0	16 years 33 weeks ago by Manuel J. Simoni	n/a
	LLVM 1.3 is released	0	21 years 29 weeks ago by Chris Lattner	n/a
	Building Compilers by Combining Algebras	0	20 years 25 weeks ago by Allan McInnes	n/a
	Google Scholar	0	21 years 15 weeks ago by Andrei Formiga	n/a
	apparently fun datalog system	0	15 years 1 week ago by raould	n/a
	Parsers Generators	0	14 years 22 weeks ago by MohamedIBrahim	n/a
	Has anyone used Datalog or RDF as a basis beyond model-driven development, like projectional editing or unikernel generation?	0	11 years 33 weeks ago by Jason Livesay	n/a
	Lambda the Ultimate Object	0	16 hours 24 min ago by François-René Rideau	n/a
	Phil Wadler's blog	0	21 years 4 days ago by Josef Svenningsson	n/a
	Harlan (a high level language for general purpose GPU computing)	0	12 years 35 weeks ago by simon.stapleton	n/a
	CFP FARM - Functional Art, Music, Modelling and Design	0	11 years 46 weeks ago by yaxu	n/a
	Chicago Functional Programmers	0	15 years 42 weeks ago by enewhuis	n/a
	Prototyping Generic Programming using Template Haskell	0	21 years 13 weeks ago by Jim Apple	n/a
	SPLASH 2015 - 2nd Combined Call for Contributions	0	10 years 37 weeks ago by craiganslow	n/a
	AsyncFlows: Structured Asynchronous Programming	0	7 years 25 weeks ago by const	n/a
	2012 APL Programming Contest is Open	0	13 years 51 weeks ago by Morten Kromberg	n/a
	the type of eval in Shen	0	8 years 42 weeks ago by Mark Tarver	n/a
	lua book available online.	0	21 years 33 weeks ago by Alexandre Richer	n/a
	Free video lectures presented by Kay, Lampson, Ingalls, ...	0	21 years 24 weeks ago by ecavazos	n/a
	Will Rubinius be an Acceptable Lisp	0	19 years 7 weeks ago by pate	n/a
	Simon Peyton-Jones Haskell Video	0	18 years 27 weeks ago by SamK	n/a
	Santa Claus in Polyphonic C#	0	21 years 8 weeks ago by Isaac Gouy	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