Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Programming language Theme-D	2	1 year 27 weeks ago by tohoyn	40 weeks 6 days ago by Manuel J. Simoni
	C++ fun	9	43 weeks 1 day ago by chrisoliver	41 weeks 1 day ago by shap
	New DSL for secueity	0	41 weeks 6 days ago by True Konrads	n/a
	I have a problem with arguments passed as non-evaluated expressions	7	42 weeks 5 days ago by artemonster	42 weeks 3 days ago by artemonster
	Proof system for learning basic algebra	7	45 weeks 20 hours ago by Edwin Zacharias	43 weeks 3 days ago by Julian Rohrhuber
	Type Bombs	22	47 weeks 3 days ago by marco	44 weeks 4 days ago by Stephen Dolan
	terminology for scope of discourse, i.e. CS-domain	6	47 weeks 4 days ago by Rys McCusker	46 weeks 6 days ago by Rys McCusker
	Expressions of Change	7	47 weeks 6 days ago by vanschelven	47 weeks 16 hours ago by Matt M
	The Heron Programming Language	0	47 weeks 4 days ago by cdiggins	n/a
	Popr Tutorial: Dot Machines	23	50 weeks 5 days ago by Dustin DeWeese	48 weeks 5 days ago by Dustin DeWeese
	LIVE 2018 CFP	1	1 year 1 week ago by Sean McDirmid	49 weeks 15 hours ago by Roly Perera
	Representing Type Information in Dynamically Typed Languages	31	8 years 49 weeks ago by Ray Dillinger	50 weeks 3 days ago by johnwcowan
	An impure solution to the problem of matching fans	14	1 year 11 weeks ago by Anton Salikhmetov	51 weeks 5 days ago by Anton Salikhmetov
	Egel Language v0.0.2	6	1 year 3 days ago by marco	1 year 2 days ago by marco
	Non-transitivity of type unification	2	1 year 1 week ago by AntC	1 year 1 week ago by Matt M
	Are "jets" a good idea?	35	1 year 20 weeks ago by xkapastel	1 year 1 week ago by peterseymour
	Are Monads a Waste of Time?	154	1 year 5 weeks ago by Keean Schupke	1 year 1 week ago by John Shutt
	GADTs as gaurds	46	1 year 2 weeks ago by Matt M	1 year 1 week ago by Keean Schupke
	Is there a functional language with explicit limits on the heap(s)?	13	1 year 2 weeks ago by Paulo Torrens	1 year 1 week ago by cpurdy
	Bottom	11	1 year 4 weeks ago by marco	1 year 2 weeks ago by johnwcowan
	Anna: A KVS For Any Scale	0	1 year 2 weeks ago by naasking	n/a
	Anything recent happening with multi-stage programming?	13	1 year 2 weeks ago by David Teller	1 year 2 weeks ago by David Teller
	Generics and Reverse Generics for Dynamic Languages	5	1 year 5 weeks ago by Greg Buchholz	1 year 2 weeks ago by Ehud Lamm
	Type systems for acyclic terms	4	1 year 6 weeks ago by marco	1 year 6 weeks ago by marco
	Mark – A simple and unified notation for both object and markup data	0	1 year 6 weeks ago by Henry Luo	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