Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Relevance of Curry-Howard	113	19 years 40 weeks ago by Klaus Ostermann	19 years 38 weeks ago by Hank Thediek
	What are the real benefits of FP?	113	19 years 37 weeks ago by dataangel	19 years 35 weeks ago by jdh30
	Bruce Tate: Technologies that may challenge Java	112	20 years 20 weeks ago by shahbaz	20 years 8 weeks ago by ArrayMac
	What is a type?	112	4 years 36 weeks ago by cpurdy	3 years 5 weeks ago by cpurdy
	Go's proposed panic/recover exception-like mechanism	112	15 years 49 weeks ago by pgregory	14 years 8 weeks ago by dmbarbour
	Concatenative Language Kont	111	20 years 30 weeks ago by Chris	11 years 19 weeks ago by Dave
	Seeking broad survey of wide range of concurrency idioms	108	16 years 21 weeks ago by scottmcl	16 years 17 weeks ago by lmeyerov
	Usable Live Programming	108	12 years 47 weeks ago by Sean McDirmid	12 years 20 weeks ago by Sean McDirmid
	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?"	108	10 years 16 weeks ago by Sean McDirmid	10 years 15 weeks ago by Allan McInnes
	Reactive Programming	107	19 years 4 weeks ago by J Storrs Hall	11 years 30 weeks ago by dmbarbour
	What would be involved in moving logic beyond FOL?	107	8 years 38 weeks ago by Charles Stewart	8 years 33 weeks ago by Neil Madden
	type theory about programming language?	106	11 years 42 weeks ago by Rys McCusker	11 years 41 weeks ago by natecull
	Opposing Hierarchies of Complexity	105	11 years 20 weeks ago by Keean Schupke	11 years 17 weeks ago by Keean Schupke
	Lambda the Ultimate seems an Overstatement (not)	105	15 years 17 weeks ago by Ed Earl Ross	15 years 12 weeks ago by Hewitt
	Future of Programs using Assertions, Goals, and Plans	104	12 years 31 weeks ago by Hewitt	12 years 30 weeks ago by dmbarbour
	Yearning for a practical scheme	103	20 years 27 weeks ago by Nathan Sobo	18 years 28 weeks ago by entropyfails
	Call for Papers: ACM Symposium on Dynamic Languages	102	20 years 44 weeks ago by rwuyts	20 years 42 weeks ago by Marcin Tustin
	poll: syntax	102	18 years 13 weeks ago by Givas	18 years 6 weeks ago by Jack Waugh
	Understanding continuations	102	21 years 34 weeks ago by Keith Devens	19 years 13 weeks ago by Matt Hellige
	Moderation on LtU	101	10 years 32 weeks ago by gasche	10 years 26 weeks ago by Ehud Lamm
	"Practical" advantages of lazy evaluation	100	18 years 40 weeks ago by chinu	17 years 52 weeks ago by Peter Van Roy
	Static Typing Where Possible, Dynamic Typing When Needed	100	20 years 34 weeks ago by Isaac Gouy	15 years 46 weeks ago by Brandon Niemczyk
	Are Actors a Good Model for Computation.	99	10 years 32 weeks ago by Keean Schupke	10 years 28 weeks ago by Hewitt
	A Functional Representation of Data Structures with a Hole (1998)	97	11 years 31 weeks ago by Vladimir Slepnev	8 years 13 weeks ago by skaller
	What are the properties of "Functional Programming Languages"?	97	18 years 16 weeks ago by kaveh.shahbazian	15 years 25 weeks ago by raould
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