Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	LIVE 2018 CFP	1	31 weeks 4 days ago by Sean McDirmid	26 weeks 4 days ago by Roly Perera
	Representing Type Information in Dynamically Typed Languages	31	8 years 27 weeks ago by Ray Dillinger	28 weeks 12 hours ago by johnwcowan
	An impure solution to the problem of matching fans	14	41 weeks 4 days ago by Anton Salikhmetov	29 weeks 2 days ago by Anton Salikhmetov
	Egel Language v0.0.2	6	30 weeks 1 day ago by marco	30 weeks 12 hours ago by marco
	Non-transitivity of type unification	2	30 weeks 5 days ago by AntC	30 weeks 5 days ago by Matt M
	Are "jets" a good idea?	35	50 weeks 1 day ago by xkapastel	31 weeks 20 hours ago by peterseymour
	Are Monads a Waste of Time?	154	35 weeks 2 hours ago by Keean Schupke	31 weeks 1 day ago by John Shutt
	GADTs as gaurds	46	32 weeks 2 days ago by Matt M	31 weeks 2 days ago by Keean Schupke
	Is there a functional language with explicit limits on the heap(s)?	13	32 weeks 3 days ago by Paulo Torrens	31 weeks 3 days ago by cpurdy
	Bottom	11	34 weeks 1 day ago by marco	31 weeks 6 days ago by johnwcowan
	Anna: A KVS For Any Scale	0	32 weeks 13 hours ago by naasking	n/a
	Anything recent happening with multi-stage programming?	13	32 weeks 4 days ago by David Teller	32 weeks 1 day ago by David Teller
	Generics and Reverse Generics for Dynamic Languages	5	34 weeks 5 days ago by Greg Buchholz	32 weeks 3 days ago by Ehud Lamm
	Type systems for acyclic terms	4	36 weeks 2 days ago by marco	36 weeks 1 day ago by marco
	Mark – A simple and unified notation for both object and markup data	0	36 weeks 3 days ago by Henry Luo	n/a
	Defunctionalization+Refunctionalization+Expression Problem	5	38 weeks 1 day ago by chrisoliver	37 weeks 1 day ago by marco
	Programming by poking: why MIT stopped teaching SICP	38	2 years 24 weeks ago by Sean McDirmid	38 weeks 1 day ago by ralphw
	Interesting new paper from T. Sweeney and others	27	5 years 11 weeks ago by jasonwatkinspdx	38 weeks 5 days ago by Anton van Straaten
	Refining Structured Type System	57	1 year 36 weeks ago by Ivan Vodišek	41 weeks 5 days ago by Ivan Vodišek
	Algebra Of Pointers	38	2 years 23 weeks ago by Keean Schupke	41 weeks 6 days ago by Keean Schupke
	Project Loom: adding fibers and continuations to Java	11	1 year 3 weeks ago by Rys McCusker	43 weeks 1 day ago by J Muhammad Houshyar
	Help with Herbelin	12	1 year 2 weeks ago by jimdesu	43 weeks 1 day ago by gasche
	Actual programs written in FP or FL?	11	12 years 45 weeks ago by James Hague	43 weeks 4 days ago by Stefan Cygon
	V-Parser	1	45 weeks 6 days ago by Ivan Vodišek	45 weeks 6 days ago by Ivan Vodišek
	A Functional Representation of Data Structures with a Hole (1998)	97	4 years 11 weeks ago by Vladimir Slepnev	46 weeks 22 hours ago by skaller
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