Lambda the Ultimate

type	title	author	last post
Story	Generalized Algebraic Data Types and Object-Oriented Programming It's always great to see rece by Tim Sweeney	Ehud Lamm	2008-10-24 22:08
Forum topic	The Next Mainstream Programming Languages Tim's idea of adding more by Tim Sweeney Why virtual classes? by Tim Sweeney Garbage collection by Tim Sweeney	Per Vognsen	2008-09-23 10:16
Story	Patrick Logan on Software Transaction Memory Bloat by Tim Sweeney Can you help me understand by Tim Sweeney STM nervousness by Tim Sweeney	Ehud Lamm	2008-08-13 17:20
Forum topic	On the importance of Turing completeness Why Turing Completeness? by Tim Sweeney	jdgallag	2008-06-16 22:31
Story	Species: making analytic functors practical for functional programming Thanks! by Tim Sweeney Confusing by Tim Sweeney	neelk	2008-05-30 04:45
Story	The YNot Project Steps to Practicality by Tim Sweeney	Paul Snively	2008-05-28 16:22
Story	Automatic Patch-Based Exploit Generation Ouch by Tim Sweeney	Charles Stewart	2008-04-30 06:49
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) Neutral folds by Tim Sweeney	cdiggins	2008-04-22 17:11
Story	Arc is released The mess that is Unicode... by Tim Sweeney ASCII Only? by Tim Sweeney	Ehud Lamm	2008-03-21 12:07
Story	Pure, Declarative, and Constructive Arithmetic Relations Retreating from pure Horn clauses by Tim Sweeney	Ehud Lamm	2008-03-17 19:38
Forum topic	Variation of C's inline conditional Conditional by Tim Sweeney	derekp	2008-03-14 12:18
Forum topic	"Practical" advantages of lazy evaluation Advantages by Tim Sweeney	chinu	2008-03-11 11:16
Forum topic	Uniform naming Dereferencing operators by Tim Sweeney	George Morrison	2008-02-20 22:21
Forum topic	foundations for J, APL etc APL and vector-like data types by Tim Sweeney	shoe	2008-01-27 19:55
Forum topic	expressivity of "idiomatic C++" Relying on libraries by Tim Sweeney	el-vadimo	2007-12-28 14:25
Forum topic	A Growable Language Manifesto Static metaprogramming by Tim Sweeney Nice Manifesto by Tim Sweeney	RobJellinghaus	2007-12-24 20:01
Story	Parametric datatype-genericity Genericity by Tim Sweeney	Ehud Lamm	2007-12-05 03:39
Forum topic	Derivation trees for lambda-calculus Abstract syntax tree by Tim Sweeney	ilSignorCarlo	2007-11-28 22:03
Forum topic	Universal Type System Turning complete type systems by Tim Sweeney Incompleteness vs The Halting Problem by Tim Sweeney Universal Type System by Tim Sweeney	Akhilesh Mritunjai	2007-11-24 18:01
Forum topic	Petition for adding garbage collection to C++. Tim Sweeney by Tim Sweeney Unreal Engine 3 garbage collection by Tim Sweeney	Achilleas Margaritis	2007-11-20 16:24
Forum topic	Comprehensions with ‘Order by’ and ‘Group by’ Is there a better way? by Tim Sweeney	Isaac Gouy	2007-08-28 10:31
Forum topic	Merging Functions, Modules, Classes, the whole nine yards... Merging stuff by Tim Sweeney	Jason Dusek	2007-08-02 21:13
Forum topic	Partial evaluation applied to high speed lighting preview Partial Evaluation in rendering by Tim Sweeney	sigfpe	2007-07-30 22:25
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Proof-Carrying Code by Tim Sweeney Type erasure requires totality by Tim Sweeney General recursion by Tim Sweeney Can you imagine your typical by Tim Sweeney Dependent types by Tim Sweeney	Greg Buchholz	2007-07-13 19:27
Story	Naked Objects The Subtyping Property by Tim Sweeney Introspection by Tim Sweeney Interesting by Tim Sweeney	Noel	2007-06-12 23:46
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