Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Generics and Reverse Generics for Dynamic Languages	5	8 years 2 weeks ago by Greg Buchholz	8 years 2 days ago by Ehud Lamm
	Type systems for acyclic terms	4	8 years 4 weeks ago by marco	8 years 4 weeks ago by marco
	Mark – A simple and unified notation for both object and markup data	0	8 years 4 weeks ago by Henry Luo	n/a
	Defunctionalization+Refunctionalization+Expression Problem	5	8 years 6 weeks ago by chrisoliver	8 years 5 weeks ago by marco
	Programming by poking: why MIT stopped teaching SICP	38	9 years 44 weeks ago by Sean McDirmid	8 years 6 weeks ago by ralphw
	Interesting new paper from T. Sweeney and others	27	12 years 31 weeks ago by jasonwatkinspdx	8 years 6 weeks ago by Anton van Straaten
	Refining Structured Type System	57	9 years 3 weeks ago by Ivan V.	8 years 9 weeks ago by Ivan V.
	Algebra Of Pointers	38	9 years 43 weeks ago by Keean Schupke	8 years 9 weeks ago by Keean Schupke
	Project Loom: adding fibers and continuations to Java	11	8 years 23 weeks ago by Rys McCusker	8 years 11 weeks ago by J Muhammad Houshyar
	Help with Herbelin	12	8 years 22 weeks ago by jimdesu	8 years 11 weeks ago by gasche
	Actual programs written in FP or FL?	11	20 years 13 weeks ago by James Hague	8 years 11 weeks ago by Stefan Cygon
	A Functional Representation of Data Structures with a Hole (1998)	97	11 years 31 weeks ago by Vladimir Slepnev	8 years 14 weeks ago by skaller
	Non-determinism: a sublanguage rather than a monad	148	8 years 24 weeks ago by Greg Buchholz	8 years 18 weeks ago by Keean Schupke
	The Platonic Solids of Software Construction and Their Realization in C	48	8 years 25 weeks ago by bryanedds	8 years 22 weeks ago by e
	A Framework for Gradual Memory Management	0	8 years 25 weeks ago by jondgoodwin	n/a
	Type system based on epistemic modal logic?	4	8 years 30 weeks ago by Jon Purdy	8 years 25 weeks ago by Jon Purdy
	BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon	0	8 years 25 weeks ago by paulboca	n/a
	SK in Prolog	5	8 years 25 weeks ago by marco	8 years 25 weeks ago by Keean Schupke
	Reversing operations	16	13 years 51 weeks ago by Pablo Barenbaum	8 years 25 weeks ago by johnwcowan
	Advancement in TDFA and POSIX submatch extraction	0	8 years 27 weeks ago by Ulya Trofimovich	n/a
	Something I forgot	94	8 years 29 weeks ago by marco	8 years 27 weeks ago by Keean Schupke
	Language features for tracing JIT?	12	8 years 29 weeks ago by Luke Gorrie	8 years 28 weeks ago by HeikoWengler
	The question of the possibility of a simple formal foundation to the natural languages.	75	8 years 31 weeks ago by Enrique Perez Arnaud	8 years 29 weeks ago by Enrique Perez Arnaud
	isomorƒ: an experimental structured editor for witing/deploying functional code	3	8 years 32 weeks ago by Brian Kent	8 years 29 weeks ago by Brian Kent
	New simple proof system	3	8 years 29 weeks ago by Edwin Zacharias	8 years 29 weeks ago by marco
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