Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Object capabilities for protecting object slots in prototype-based languages?	21	15 years 14 weeks ago by Denis Washington	15 years 13 weeks ago by tonyg
	J language source to be released under GPLv3	4	15 years 14 weeks ago by Greg Buchholz	15 years 14 weeks ago by Greg Buchholz
	InfoQ Video + transcript of Mark Miller on making ECMAScript secure	1	15 years 14 weeks ago by raould	15 years 14 weeks ago by renox
	Monads vs. Actors	121	15 years 17 weeks ago by Sean McDirmid	15 years 14 weeks ago by Brandon Moore
	IEEE changes colour	2	15 years 14 weeks ago by Charles Stewart	15 years 14 weeks ago by Charles Stewart
	Can contracts provide the features of type classes, bounded quantification and effect systems?	8	15 years 15 weeks ago by Jules Jacobs	15 years 14 weeks ago by dmbarbour
	apparently fun datalog system	0	15 years 14 weeks ago by raould	n/a
	I've run out of programming languages to study	81	15 years 20 weeks ago by Josh Griggs	15 years 15 weeks ago by Z-Bo
	Profiel: Henk Barendregt: Lambda calculus hits the tube	3	15 years 15 weeks ago by pjotr	15 years 15 weeks ago by marco
	What is computation? Concurrency versus Turing's Model	77	15 years 28 weeks ago by Hewitt	15 years 15 weeks ago by Hewitt
	What is an Actor?	4	15 years 16 weeks ago by Hewitt	15 years 16 weeks ago by Hewitt
	IBM's Watson plays Jeopardy champion Ken Jennings in February	14	15 years 25 weeks ago by Roy Batty	15 years 16 weeks ago by Charles Stewart
	Extending Syntax from Within a Language	27	15 years 17 weeks ago by munificent	15 years 16 weeks ago by Manuel J. Simoni
	Postdoc position in functional programming research at Portland State University	0	15 years 16 weeks ago by Tim Chevalier	n/a
	Evaluation strategies: authoritative reference?	19	15 years 21 weeks ago by naasking	15 years 16 weeks ago by johnwcowan
	Experience with non-linearized superclasses?	2	15 years 17 weeks ago by Manuel J. Simoni	15 years 16 weeks ago by Sean McDirmid
	Strongly Typed Coroutines (minor question)	10	15 years 17 weeks ago by scottmcl	15 years 17 weeks ago by scottmcl
	Visual language for computer music based on Haskell	3	15 years 18 weeks ago by yaxu	15 years 17 weeks ago by yaxu
	Again with the distributed computing: Piccolo	2	15 years 18 weeks ago by raould	15 years 18 weeks ago by naasking
	Go or Unladen Swallow?	126	16 years 30 weeks ago by Srikumar Subramanian	15 years 18 weeks ago by Andreas Rossberg
	How to Program the Many Cores for Inconsistency Robustness	12	15 years 21 weeks ago by Hewitt	15 years 18 weeks ago by Andrew Moss
	Holistic types	9	15 years 19 weeks ago by Igor Serikov	15 years 18 weeks ago by Sriram Srinivasan
	POPL 2011 post-processing	0	15 years 18 weeks ago by Chad Wellington	n/a
	Seeking papers that unify control theory and programming language design	2	15 years 19 weeks ago by Z-Bo	15 years 19 weeks ago by Derek Elkins
	Points in the Pattern Matching Design Space	42	15 years 20 weeks ago by Jules Jacobs	15 years 19 weeks ago by munificent
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