Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Binary Representation - Is it something to rise above?	74	10 years 4 weeks ago by Ray Dillinger	10 years 2 weeks ago by johnwcowan
	LIVE 2016 @ ECOOP (CFP)	2	10 years 8 weeks ago by Sean McDirmid	10 years 2 weeks ago by Sean McDirmid
	Elements of Programming in Rust	0	10 years 2 weeks ago by Keean Schupke	n/a
	Some questions concerning P != NP	17	10 years 4 weeks ago by Carter Cheng	10 years 3 weeks ago by Andrew Moss
	Good books on theoretical aspects of type theory when it applies to computer science and languages	0	10 years 4 weeks ago by Carter Cheng	n/a
	Best opening sentence ever, in a paper on S-Exprs for IDEs.	10	10 years 6 weeks ago by raould	10 years 5 weeks ago by johnwcowan
	SFI Talk: Four the hard way: Computer design and living software	0	10 years 5 weeks ago by marco	n/a
	Onward 2016 call	4	10 years 10 weeks ago by Sean McDirmid	10 years 5 weeks ago by Sean McDirmid
	Formalization and programming language design -- explained to all	129	10 years 13 weeks ago by gasche	10 years 5 weeks ago by Keean Schupke
	Fabula programming language	7	10 years 34 weeks ago by rmovchan	10 years 5 weeks ago by rmovchan
	Earl Grey; the story of a new programming language	67	10 years 13 weeks ago by Greg Buchholz	10 years 5 weeks ago by marco
	¿How can a dynamically typed language not actively prevent static checking?	93	10 years 6 weeks ago by raould	10 years 5 weeks ago by naasking
	Is the "Getting started"-guide up-to-date?	23	10 years 7 weeks ago by filipallberg	10 years 6 weeks ago by Sean McDirmid
	New Regexp	13	10 years 12 weeks ago by Ivan V.	10 years 6 weeks ago by Ivan V.
	Why not C++?	13	10 years 9 weeks ago by raould	10 years 7 weeks ago by skaller
	Logic Programming with Failure as an Exception	89	10 years 12 weeks ago by Keean Schupke	10 years 9 weeks ago by Keean Schupke
	Whither actual generality/customizability/flexibility?	12	10 years 11 weeks ago by raould	10 years 9 weeks ago by John Shutt
	Learning two dialects simultaneously (CL/Scheme)	4	10 years 11 weeks ago by filipallberg	10 years 11 weeks ago by Ehud Lamm
	Programmatic and Direct Manipulation, Together at Last	18	10 years 13 weeks ago by Sean McDirmid	10 years 12 weeks ago by Sam Tobin-Hochstadt
	Andl is a New Database Language	7	10 years 13 weeks ago by davidb	10 years 13 weeks ago by davidb
	SPREAD: Authenticated reusable computations	11	10 years 14 weeks ago by Robbert van Dalen	10 years 13 weeks ago by Matt M
	Challenges Facing a High-Level Language for Machine Knitting	50	10 years 15 weeks ago by marco	10 years 13 weeks ago by Sean McDirmid
	Need to Talk	56	10 years 17 weeks ago by marco	10 years 14 weeks ago by Thomas Lord
	Typed X (Racket, Clojure, Lua) just doesn't pan out?	14	10 years 17 weeks ago by raould	10 years 14 weeks ago by adrieng
	PECAN: Persuasive Prediction of Concurrency Access Anomalies	0	10 years 14 weeks ago by raould	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