Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	History of causes as object identity	9	18 years 41 weeks ago by Andris Birkmanis	18 years 36 weeks ago by Kay Schluehr
	Pascal-P compiler annotated text	3	18 years 37 weeks ago by Isaac Gouy	18 years 36 weeks ago by Gavin Harrison
	implementing heap as a binary tree	1	18 years 37 weeks ago by lsptog	18 years 37 weeks ago by Marc Hamann
	Implicit Ownership Types for Memory Management	0	18 years 37 weeks ago by Rohan Hart	n/a
	STM is which kind of concurrency?	2	18 years 37 weeks ago by bend	18 years 37 weeks ago by bend
	Nets: Petri vs Lafont	9	21 years 50 weeks ago by Andris Birkmanis	18 years 37 weeks ago by titto assini
	[ANN]: Open Quark Framework for Java, version 1.6.1 released	0	18 years 37 weeks ago by luke	n/a
	On creating an ad hoc assembly interpreter to aid studying	5	18 years 38 weeks ago by soapdog	18 years 37 weeks ago by BigZaphod
	Allowing Unsafe Rules in Datalog?	2	18 years 38 weeks ago by mental	18 years 38 weeks ago by mental
	Decayed Memoization	8	18 years 38 weeks ago by SamK	18 years 38 weeks ago by Marc Hamann
	Online video course on monads	14	18 years 38 weeks ago by renaud	18 years 38 weeks ago by sigfpe
	FringeDC Formal Meeting 1PM Saturday Sept 22nd	0	18 years 38 weeks ago by drcode	n/a
	Extending HM type inference -- would this be possible? Or even desirable?	8	18 years 39 weeks ago by Ingo Wechsung	18 years 38 weeks ago by Yann Régis-Gianas
	Reconstructing Abstractions	4	18 years 38 weeks ago by cdiggins	18 years 38 weeks ago by cdiggins
	Stutter Invariance	2	18 years 39 weeks ago by mohan_vbh	18 years 38 weeks ago by Hank Thediek
	Generating useful errors in a functional stream parser	6	18 years 39 weeks ago by Alex Rubinsteyn	18 years 39 weeks ago by Watson Ladd
	[ANN] Vodka: Join concurrency, multimethods and generators (thesis project)	1	18 years 39 weeks ago by Tiark Rompf	18 years 39 weeks ago by Dave Lopez
	Compile-time meta-programming in Metalua and Converge	0	18 years 39 weeks ago by Isaac Gouy	n/a
	Examples of Categorical Semantics for Languages with Dependent Types	5	18 years 40 weeks ago by echinuz	18 years 39 weeks ago by Thorvaldur Thorvaldsson
	What is a state?	59	18 years 41 weeks ago by Hank Thediek	18 years 39 weeks ago by Paul Snively
	Seam from PLT perspective	16	18 years 45 weeks ago by Andris Birkmanis	18 years 40 weeks ago by Dave Griffith
	Fogotten Book Title	5	18 years 41 weeks ago by olwe	18 years 41 weeks ago by Anton van Straaten
	ANN: Open Quark (CAL language) 1.6 Released	0	18 years 41 weeks ago by luke	n/a
	Simon Peyton-Jones Haskell Video	0	18 years 41 weeks ago by SamK	n/a
	Lectures on the Curry-Howard Isomorphism	15	19 years 38 weeks ago by Ehud Lamm	18 years 41 weeks ago by Scott Johnson
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