Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Are "jets" a good idea?	35	45 weeks 4 days ago by xkapastel	26 weeks 4 days ago by peterseymour
	Are Monads a Waste of Time?	154	30 weeks 3 days ago by Keean Schupke	26 weeks 4 days ago by John Shutt
	GADTs as gaurds	46	27 weeks 5 days ago by Matt M	26 weeks 5 days ago by Keean Schupke
	Is there a functional language with explicit limits on the heap(s)?	13	28 weeks 35 min ago by Paulo Torrens	27 weeks 6 hours ago by cpurdy
	Bottom	11	29 weeks 4 days ago by marco	27 weeks 2 days ago by johnwcowan
	Anna: A KVS For Any Scale	0	27 weeks 3 days ago by naasking	n/a
	Anything recent happening with multi-stage programming?	13	28 weeks 1 day ago by David Teller	27 weeks 5 days ago by David Teller
	Generics and Reverse Generics for Dynamic Languages	5	30 weeks 1 day ago by Greg Buchholz	27 weeks 6 days ago by Ehud Lamm
	Type systems for acyclic terms	4	31 weeks 5 days ago by marco	31 weeks 4 days ago by marco
	Mark – A simple and unified notation for both object and markup data	0	31 weeks 6 days ago by Henry Luo	n/a
	Defunctionalization+Refunctionalization+Expression Problem	5	33 weeks 4 days ago by chrisoliver	32 weeks 4 days ago by marco
	Programming by poking: why MIT stopped teaching SICP	38	2 years 19 weeks ago by Sean McDirmid	33 weeks 4 days ago by ralphw
	Interesting new paper from T. Sweeney and others	27	5 years 6 weeks ago by jasonwatkinspdx	34 weeks 1 day ago by Anton van Straaten
	Refining Structured Type System	57	1 year 31 weeks ago by Ivan Vodišek	37 weeks 2 days ago by Ivan Vodišek
	Algebra Of Pointers	38	2 years 19 weeks ago by Keean Schupke	37 weeks 3 days ago by Keean Schupke
	Project Loom: adding fibers and continuations to Java	11	50 weeks 6 days ago by Rys McCusker	38 weeks 4 days ago by J Muhammad Houshyar
	Help with Herbelin	12	49 weeks 6 days ago by jimdesu	38 weeks 5 days ago by gasche
	Actual programs written in FP or FL?	11	12 years 41 weeks ago by James Hague	39 weeks 1 day ago by Stefan Cygon
	V-Parser	1	41 weeks 3 days ago by Ivan Vodišek	41 weeks 2 days ago by Ivan Vodišek
	A Functional Representation of Data Structures with a Hole (1998)	97	4 years 7 weeks ago by Vladimir Slepnev	41 weeks 4 days ago by skaller
	Non-determinism: a sublanguage rather than a monad	148	51 weeks 5 days ago by Greg Buchholz	46 weeks 3 days ago by Keean Schupke
	The Platonic Solids of Software Construction and Their Realization in C	48	1 year 6 days ago by bryanedds	50 weeks 3 days ago by e
	A Framework for Gradual Memory Management	0	1 year 3 days ago by jondgoodwin	n/a
	Type system based on epistemic modal logic?	4	1 year 5 weeks ago by Jon Purdy	1 year 6 days ago by Jon Purdy
	BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon	0	1 year 1 week ago by paulboca	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