Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Whither Effects-Continuations-Monads?	3	11 years 3 weeks ago by raould	11 years 1 week ago by RobJellinghaus
	Church's fundamental paradox: "Is there such a thing as logic?"	6	11 years 1 week ago by Hewitt	11 years 1 week ago by Hewitt
	C++ Parser Combinator Library	84	12 years 1 week ago by Keean Schupke	11 years 1 week ago by Keean Schupke
	Type Differentials	5	11 years 3 weeks ago by Talin	11 years 2 weeks ago by Blaisorblade
	Fixing broken software development for the masses	14	11 years 3 weeks ago by raould	11 years 2 weeks ago by raould
	The mother of all PL demos	2	11 years 3 weeks ago by Sean McDirmid	11 years 3 weeks ago by Sean McDirmid
	Why we don't believe in Visual Programming	11	11 years 4 weeks ago by Tiago Simoes	11 years 3 weeks ago by dmbarbour
	how many lines of code can civilization support?	303	11 years 7 weeks ago by Thomas Lord	11 years 4 weeks ago by Rys McCusker
	Actors for CyberThings	3	11 years 5 weeks ago by Hewitt	11 years 4 weeks ago by Hewitt
	ioflo / floscript: decoupled dataflow born of autonomous systems	0	11 years 5 weeks ago by raould	n/a
	cicada-nymph -- a forth-like language for to teach	2	11 years 8 weeks ago by xieyuheng	11 years 8 weeks ago by xieyuheng
	Constraint typing, subtyping, and separate compilation	44	11 years 9 weeks ago by Sean McDirmid	11 years 8 weeks ago by Keean Schupke
	SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium	0	11 years 9 weeks ago by craiganslow	n/a
	Type Inference in Object Oriented Languages	14	20 years 6 weeks ago by Johan Tibell	11 years 9 weeks ago by Sean McDirmid
	Seeking candidates to work on a custom compiler/language in NYC	2	11 years 9 weeks ago by Kalani	11 years 9 weeks ago by raould
	general patterns in PL persistence schemes?	74	11 years 12 weeks ago by Rys McCusker	11 years 11 weeks ago by Anton van Straaten
	Making implicits less powerful?	73	11 years 47 weeks ago by Vladimir Slepnev	11 years 11 weeks ago by L Spice
	Negation in Logic Languages	31	11 years 14 weeks ago by Keean Schupke	11 years 11 weeks ago by Keean Schupke
	Constraint-Based Type Inference and Parametric Polymorphism	95	12 years 45 weeks ago by Sean McDirmid	11 years 12 weeks ago by Sean McDirmid
	Job ads	3	11 years 13 weeks ago by Kalani	11 years 12 weeks ago by Kalani
	symbols and loosely coupled concurrent apps part II	20	11 years 18 weeks ago by Rys McCusker	11 years 12 weeks ago by Rys McCusker
	Some notes on Rust, the language.	125	11 years 14 weeks ago by John Nagle	11 years 13 weeks ago by Keean Schupke
	Computing by deltas?	15	11 years 14 weeks ago by Andy Fischer	11 years 13 weeks ago by phazer
	SPLASH 2015 Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium	0	11 years 14 weeks ago by craiganslow	n/a
	How can languages help us in terms of achieving correct program design?	153	11 years 18 weeks ago by bryanedds	11 years 14 weeks ago by Paul Snively
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