Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Tools that provide "closed" view of open/extensible abstractions?	9	12 years 43 weeks ago by Tess Foley	12 years 43 weeks ago by raould
	Crowdsourced Enumeration Queries	0	12 years 44 weeks ago by lmeyerov	n/a
	Cost of provably-correct code	42	19 years 42 weeks ago by Ehud Lamm	12 years 44 weeks ago by dmbarbour
	Are first-class environments enough?	24	12 years 46 weeks ago by Alex Shpilkin	12 years 44 weeks ago by Ross Angle
	A New Kind of Type System	23	12 years 47 weeks ago by Sean McDirmid	12 years 44 weeks ago by shap
	So You are Thinking of Doing a PhD...	3	12 years 48 weeks ago by naasking	12 years 44 weeks ago by Kalani
	Harlan (a high level language for general purpose GPU computing)	0	12 years 44 weeks ago by simon.stapleton	n/a
	CFP: ACM High Integrity Language Technology (HILT 2013) due July 6th; conference in Pittsburgh Nov. 10-14	4	12 years 48 weeks ago by sttaft	12 years 44 weeks ago by NickP
	When will we all have effect systems?	15	12 years 45 weeks ago by raould	12 years 45 weeks ago by Araq
	Dynamic inheritance?	2	12 years 45 weeks ago by Gabriel Horvath	12 years 45 weeks ago by gasche
	Library vs. domain specific language	25	12 years 47 weeks ago by Gergely Buday	12 years 45 weeks ago by John Shutt
	Lobster, a new programming language, just released.	0	12 years 47 weeks ago by Wouter	n/a
	LALR grammar of C++	7	19 years 6 weeks ago by chinu	12 years 47 weeks ago by paulbmann
	a Scientific Basis for Visual Notations	4	12 years 47 weeks ago by raould	12 years 47 weeks ago by Jon Purdy
	Compile-time constraint solver?	11	12 years 47 weeks ago by George Morrison	12 years 47 weeks ago by George Morrison
	A little comparison of some programming lanugages	7	12 years 48 weeks ago by raould	12 years 47 weeks ago by dom96
	Define it twice -- preemptive bughunting or waste of time?	10	12 years 48 weeks ago by Ray Dillinger	12 years 47 weeks ago by Ray Dillinger
	Teaching Garbage-Collection	42	13 years 4 weeks ago by shriramk	12 years 47 weeks ago by Ray Dillinger
	A discussion from the trenches.	12	12 years 48 weeks ago by Eric Biederman	12 years 48 weeks ago by renox
	Continuation calculus	3	12 years 48 weeks ago by bgeron	12 years 48 weeks ago by jimdesu
	Primitive recursive functions and fixpoints	0	12 years 49 weeks ago by hbrandl	n/a
	REScala: integrate reactive values with advanced event system	0	12 years 49 weeks ago by raould	n/a
	Nimrod: A new statically typed, compiled programming language which supports metaprogramming	16	12 years 50 weeks ago by dom96	12 years 49 weeks ago by Rys McCusker
	Computability Logic	0	12 years 49 weeks ago by naasking	n/a
	A reversible Javascript interpreter	16	12 years 51 weeks ago by Will Thimbleby	12 years 50 weeks ago by Will Thimbleby
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