Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	How can be a interpreter faster than C (aka: kdb+)	96	11 years 25 weeks ago by mamcx	11 years 15 weeks ago by shap
	Subclass, superclass, or siblings under an abstract superclass?	96	10 years 31 weeks ago by Ray Dillinger	10 years 29 weeks ago by Keean Schupke
	First Class Values, Types as values within a Programming Language	95	19 years 47 weeks ago by Bruce Rennie	19 years 39 weeks ago by Oleg
	A StackExchange Site for Programming Language Theory	95	12 years 1 week ago by aaditmshah	11 years 29 weeks ago by dmbarbour
	Typed Data	95	10 years 19 weeks ago by Andrew Moss	10 years 16 weeks ago by Keean Schupke
	Constraint-Based Type Inference and Parametric Polymorphism	95	12 years 42 weeks ago by Sean McDirmid	11 years 9 weeks ago by Sean McDirmid
	Don't use "Yield" for co-routines; instead use "Postpone"	94	10 years 36 weeks ago by Hewitt	9 years 49 weeks ago by Hewitt
	crazy PL idea: prescriptive trait inference	94	14 years 13 weeks ago by Sean McDirmid	14 years 3 weeks ago by Sean McDirmid
	Something I forgot	94	8 years 35 weeks ago by marco	8 years 34 weeks ago by Keean Schupke
	plt vs. something else for programming in the large?	93	16 years 8 weeks ago by raould	15 years 44 weeks ago by el-vadimo
	¿How can a dynamically typed language not actively prevent static checking?	93	10 years 3 weeks ago by raould	10 years 2 weeks ago by naasking
	Google's Dart announced	93	14 years 27 weeks ago by vieiro	13 years 16 weeks ago by NickP
	Haskell and creative freedom	92	20 years 32 weeks ago by Nathan Sobo	20 years 31 weeks ago by Pseudonym
	Best successor to Scheme?	92	10 years 2 weeks ago by raould	9 years 50 weeks ago by Ray Dillinger
	SEC interested in formalising contracts ... in Python	92	16 years 6 days ago by Noel	15 years 50 weeks ago by Brandon Niemczyk
	The evolution of Rust	92	10 years 47 weeks ago by qznc	10 years 45 weeks ago by Thomas Lord
	Formal methods for O/R mapping	92	20 years 27 weeks ago by Andris Birkmanis	18 years 35 weeks ago by genneth
	References about the importance of formalism in programming language design	91	14 years 6 weeks ago by giuseppemag	14 years 3 weeks ago by johnwcowan
	IEEE Scheme expiring soon	90	10 years 2 weeks ago by johnwcowan	6 years 6 days ago by Tommi Höynälänmaa
	Why type systems are interesting - part II	90	21 years 36 weeks ago by Ehud Lamm	19 years 19 weeks ago by Philippa Cowderoy
	Aggregations (e.g., sets) in Logic Programs	90	10 years 38 weeks ago by Hewitt	10 years 37 weeks ago by Hewitt
	Clojure's Solutions to the Expression Problem	89	15 years 22 weeks ago by fogus	15 years 21 weeks ago by Cyril
	Those pesky higher-rank types. Or how to type \f x y. (f x, f y)	89	11 years 48 weeks ago by marco	11 years 47 weeks ago by marco
	Logic Programming with Failure as an Exception	89	10 years 9 weeks ago by Keean Schupke	10 years 6 weeks ago by Keean Schupke
	On constness	89	11 years 28 weeks ago by Talin	11 years 27 weeks ago by Matt M
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