Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Type Bombs	22	38 weeks 4 days ago by marco	35 weeks 6 days ago by Stephen Dolan
	terminology for scope of discourse, i.e. CS-domain	6	38 weeks 5 days ago by Rys McCusker	38 weeks 11 hours ago by Rys McCusker
	Expressions of Change	7	39 weeks 2 hours ago by vanschelven	38 weeks 1 day ago by Matt M
	The Heron Programming Language	0	38 weeks 5 days ago by cdiggins	n/a
	Popr Tutorial: Dot Machines	23	41 weeks 6 days ago by Dustin DeWeese	39 weeks 6 days ago by Dustin DeWeese
	LIVE 2018 CFP	1	45 weeks 1 day ago by Sean McDirmid	40 weeks 1 day ago by Roly Perera
	Representing Type Information in Dynamically Typed Languages	31	8 years 40 weeks ago by Ray Dillinger	41 weeks 4 days ago by johnwcowan
	An impure solution to the problem of matching fans	14	1 year 3 weeks ago by Anton Salikhmetov	42 weeks 6 days ago by Anton Salikhmetov
	Egel Language v0.0.2	6	43 weeks 5 days ago by marco	43 weeks 4 days ago by marco
	Non-transitivity of type unification	2	44 weeks 3 days ago by AntC	44 weeks 2 days ago by Matt M
	Are "jets" a good idea?	35	1 year 11 weeks ago by xkapastel	44 weeks 4 days ago by peterseymour
	Are Monads a Waste of Time?	154	48 weeks 4 days ago by Keean Schupke	44 weeks 5 days ago by John Shutt
	GADTs as gaurds	46	45 weeks 6 days ago by Matt M	44 weeks 6 days ago by Keean Schupke
	Is there a functional language with explicit limits on the heap(s)?	13	46 weeks 18 hours ago by Paulo Torrens	45 weeks 23 hours ago by cpurdy
	Bottom	11	47 weeks 5 days ago by marco	45 weeks 3 days ago by johnwcowan
	Anna: A KVS For Any Scale	0	45 weeks 4 days ago by naasking	n/a
	Anything recent happening with multi-stage programming?	13	46 weeks 2 days ago by David Teller	45 weeks 5 days ago by David Teller
	Generics and Reverse Generics for Dynamic Languages	5	48 weeks 2 days ago by Greg Buchholz	46 weeks 17 hours ago by Ehud Lamm
	Type systems for acyclic terms	4	49 weeks 6 days ago by marco	49 weeks 5 days ago by marco
	Mark – A simple and unified notation for both object and markup data	0	50 weeks 1 hour ago by Henry Luo	n/a
	Defunctionalization+Refunctionalization+Expression Problem	5	51 weeks 5 days ago by chrisoliver	50 weeks 5 days ago by marco
	Programming by poking: why MIT stopped teaching SICP	38	2 years 37 weeks ago by Sean McDirmid	51 weeks 5 days ago by ralphw
	Interesting new paper from T. Sweeney and others	27	5 years 24 weeks ago by jasonwatkinspdx	1 year 1 day ago by Anton van Straaten
	Refining Structured Type System	57	1 year 49 weeks ago by Ivan Vodišek	1 year 3 weeks ago by Ivan Vodišek
	Algebra Of Pointers	38	2 years 37 weeks ago by Keean Schupke	1 year 3 weeks ago by Keean Schupke
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