Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Algebraic Semiotics	0	19 years 18 weeks ago by Andris Birkmanis	n/a
	The ALTernative programming language	0	37 weeks 5 days ago by Robbert van Dalen	n/a
	Waste your CPU-resources on programming challenge	0	18 years 25 weeks ago by mattias waldau	n/a
	more of the same	0	13 years 1 week ago by marchertas	n/a
	Encodings (wikipedia)	0	19 years 4 days ago by David Teller	n/a
	Has anyone used Datalog or RDF as a basis beyond model-driven development, like projectional editing or unikernel generation?	0	9 years 39 weeks ago by Jason Livesay	n/a
	A Generator for Type Checkers	0	18 years 23 weeks ago by Cremieux Alain	n/a
	Tom: Piggybacking rewriting on java	0	16 years 47 weeks ago by polux	n/a
	Computability Logic	0	10 years 47 weeks ago by naasking	n/a
	[ANN] Final Call for Speakers for Code Generation 2009	0	15 years 15 weeks ago by Mark Dalgarno	n/a
	Predicates, ghost predicates and higher order predicates	0	11 years 48 weeks ago by hbrandl	n/a
	gmane hosting?	0	19 years 43 weeks ago by megacz	n/a
	Which comes first, language or thought?	0	19 years 34 weeks ago by Isaac Gouy	n/a
	SPLASH 2015 - 2nd Combined Call for Contributions	0	8 years 43 weeks ago by craiganslow	n/a
	AsyncFlows: Structured Asynchronous Programming	0	5 years 31 weeks ago by const	n/a
	the type of eval in Shen	0	6 years 48 weeks ago by Mark Tarver	n/a
	Ulf's Home-Page of Programming Language Design	0	18 years 20 weeks ago by Jim Apple	n/a
	APL Quote Quad Call for Papers	0	17 years 50 weeks ago by shrogers	n/a
	Pushing parallel Haskell to the real world	0	13 years 49 weeks ago by StevenJenkins	n/a
	Call for Speakers: DSL DevCon	0	15 years 13 weeks ago by csells	n/a
	World’s first formal machine-checked proof of a general-purpose operating system kernel	0	14 years 36 weeks ago by Derek Elkins	n/a
	OCaml Meeting 2010 in Paris	0	14 years 9 weeks ago by Sylvain Le Gall	n/a
	Yet another programming language forum	0	19 years 32 weeks ago by cdiggins	n/a
	Grady Booch's keynote on software complexity at AOSD	0	19 years 5 weeks ago by el-vadimo	n/a
	Applied Category Theory and Categorical Query Language	0	4 years 41 weeks ago by Ryan Wisnesky	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