Lambda the Ultimate

type	title	author	last post
Forum topic	Mutable objects with monadic methods OOHaskell by Sean Leather	giuseppemag	2010-02-15 01:12
Story	Natural Deduction Reading for Beginners Proof and Disproof in Formal Logic by Sean Leather	cdiggins	2009-07-22 15:29
Story	BEE3: Putting the Buzz Back into Computer Architecture Revitalization by Sean Leather	Luke Gorrie	2008-10-30 17:47
Forum topic	ANN: Ur/Web: Statically-typed metaprogramming for the web Integer overflow by Sean Leather Broken links in demo by Sean Leather	Adam Chlipala	2008-10-28 23:49
Story	Coinductive proof principles for stochastic processes The working link... by Sean Leather	neelk	2008-09-11 20:05
Forum topic	type derivation for 'map map', yelp Algebraically speaking... by Sean Leather	numerodix	2008-08-22 20:07
Story	What do you mean by studying "programming languages"? A taxonomy of programming environments and languages by Sean Leather Asking !why is important, too by Sean Leather Very nicely put by Sean Leather Wh?, Wh*, or Wh_ by Sean Leather Motivation by Sean Leather	Ehud Lamm	2008-01-22 18:34
Story	Linear types for aliased resources Annotations by Sean Leather	Ehud Lamm	2006-12-07 16:10
Forum topic	Which Java compiler for a student/research project? Where to start... by Sean Leather	Alexandre	2006-10-03 01:00
Forum topic	internship advice I disagree by Sean Leather	Ryan Wisnesky	2005-12-02 02:13
Forum topic	Best default sequence? Hmm... by Sean Leather Relational and/or Object-Oriented (or There and Back Again) by Sean Leather	Greg Buchholz	2005-10-22 01:16
Forum topic	ABLE You're welcome! by Sean Leather Referential transparency by Sean Leather	tomaco	2005-10-20 04:57
Forum topic	PLT and College Be open, Learn by Sean Leather	Kevin Lipe	2005-10-13 14:37
Forum topic	Virtual Machine books On Smith and Nair by Sean Leather	Scott Johnson	2005-10-10 18:43
Forum topic	Chapel: "Solving the parallel programming problem" Not quite FP? by Sean Leather General-purpose? by Sean Leather	Sean Leather	2005-10-09 18:53
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