natecain

type	title	author	last post
Forum topic	Proving running times of algorithms Seconded... by natecain	jason stumpf	2013-09-13 02:43
Forum topic	A programming language with extensible syntax Source? by natecain	metaprogrammer	2009-06-30 17:52
Forum topic	WolframAlpha Not so much parsing issues... by natecain	Srikumar Subramanian	2009-05-21 21:16
Forum topic	New EcmaScript/Javascript specification	natecain	2009-04-16 04:10
Forum topic	ANN: Ur/Web: Statically-typed metaprogramming for the web Or maybe not... by natecain	Adam Chlipala	2008-10-28 23:49
Forum topic	On the (perceived) equivalence of static and dynamically typed reflective programming languages HDLs are not Turing complete? by natecain Taking the argument by natecain	Ran	2008-10-28 23:49
Forum topic	haskell for gpu Seems that URL should be by natecain	David Minor	2008-10-21 14:18
Story	Polymorphic Algebraic Data Type Reconstruction Elaborated... by natecain	James Iry	2008-09-12 09:57
Story	Hardware Design and Functional Programming: a Perfect Match "In the HW world, where you by natecain A better choice (IMESHO) by natecain No such discussion is complete.... by natecain	Luke Gorrie	2008-07-09 17:39
Forum topic	Is Halting Problem Valid for P? Are there any pascal by natecain	ajgargand	2008-05-04 23:24

Lambda the Ultimate