Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Prior art for reifying lifecycle	9	7 years 34 weeks ago by mikesamuel	7 years 34 weeks ago by mikesamuel
	Higher Order Functions Considered Unnecessary for Higher Order Programming	2	7 years 34 weeks ago by irisjae	7 years 34 weeks ago by mikesamuel
	Upward confluence in the interaction calculus	2	7 years 37 weeks ago by Anton Salikhmetov	7 years 35 weeks ago by Anton Salikhmetov
	Programming language Theme-D	2	8 years 25 weeks ago by Tommi Höynälänmaa	7 years 38 weeks ago by Manuel J. Simoni
	C++ fun	9	7 years 40 weeks ago by chrisoliver	7 years 38 weeks ago by shap
	New DSL for secueity	0	7 years 39 weeks ago by True Konrads	n/a
	I have a problem with arguments passed as non-evaluated expressions	7	7 years 40 weeks ago by artemonster	7 years 40 weeks ago by artemonster
	Proof system for learning basic algebra	7	7 years 42 weeks ago by Edwin Zacharias	7 years 41 weeks ago by Julian Rohrhuber
	Type Bombs	22	7 years 45 weeks ago by marco	7 years 42 weeks ago by Stephen Dolan
	terminology for scope of discourse, i.e. CS-domain	6	7 years 45 weeks ago by Rys McCusker	7 years 44 weeks ago by Rys McCusker
	Expressions of Change	7	7 years 45 weeks ago by vanschelven	7 years 44 weeks ago by Matt M
	The Heron Programming Language	0	7 years 45 weeks ago by cdiggins	n/a
	Popr Tutorial: Dot Machines	23	7 years 48 weeks ago by Dustin DeWeese	7 years 46 weeks ago by Dustin DeWeese
	LIVE 2018 CFP	1	7 years 51 weeks ago by Sean McDirmid	7 years 46 weeks ago by Roly Perera
	Representing Type Information in Dynamically Typed Languages	31	15 years 47 weeks ago by Ray Dillinger	7 years 48 weeks ago by johnwcowan
	An impure solution to the problem of matching fans	14	8 years 9 weeks ago by Anton Salikhmetov	7 years 49 weeks ago by Anton Salikhmetov
	Egel Language v0.0.2	6	7 years 50 weeks ago by marco	7 years 50 weeks ago by marco
	Non-transitivity of type unification	2	7 years 50 weeks ago by AntC	7 years 50 weeks ago by Matt M
	Are "jets" a good idea?	35	8 years 18 weeks ago by xkapastel	7 years 51 weeks ago by peterseymour
	Are Monads a Waste of Time?	154	8 years 2 weeks ago by Keean Schupke	7 years 51 weeks ago by John Shutt
	GADTs as gaurds	46	8 years 1 day ago by Matt M	7 years 51 weeks ago by Keean Schupke
	Is there a functional language with explicit limits on the heap(s)?	13	8 years 2 days ago by Paulo Torrens	7 years 51 weeks ago by cpurdy
	Bottom	11	8 years 2 weeks ago by marco	7 years 51 weeks ago by johnwcowan
	Anna: A KVS For Any Scale	0	7 years 52 weeks ago by naasking	n/a
	Anything recent happening with multi-stage programming?	13	8 years 4 days ago by David Teller	8 years 20 hours ago by David Teller
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