Lambda the Ultimate

type	title	author	last post
Story	Local Rely-Guarantee Reasoning	neelk	2008-11-25 23:44
Forum topic	Object Oriented Programming + Referential Transparency They're going to scale by neelk Hi Kevin, I think you're by neelk Hmm... by neelk There's a reason I used ML by neelk Purely functional data structures... by neelk	mjstahl	2008-10-30 17:40
Forum topic	Summary of Dependently Typed Systems? It seems to me... by neelk	jim burton	2008-10-27 12:42
Forum topic	Elementary Category Theory Equalizers exactly express the property you want.... by neelk Look up "equalizers" by neelk	Ohad Kammar	2008-10-23 11:52
Forum topic	Common Lisp Exception Handling cool! by neelk Touche! by neelk Not without radical changes: by neelk	SamK	2008-10-20 00:55
Story	First-class Macros No... by neelk	James Iry	2008-09-24 03:54
Forum topic	"Very linear" lambda calculus Read proof-theoretically, by neelk	mikestay	2008-09-18 07:27
Forum topic	Applied Type System vs. Epigram It's worth adding... by neelk	naasking	2008-09-16 06:44
Story	Polymorphic Algebraic Data Type Reconstruction Here's how to do it. by neelk	James Iry	2008-09-12 09:57
Story	Coinductive proof principles for stochastic processes	neelk	2008-09-11 20:05
Story	Computation Orchestration: A Basis for Wide-Area Computing	neelk	2008-09-11 17:15
Story	Relational Parametricity and Units of Measure I think this is a different by neelk	neelk	2008-09-10 20:11
Story	Programming Language Beauty: Look Closure Effects make certain by neelk	Erik Meijer	2008-09-10 04:01
Story	UpgradeJ: Incremental Typechecking for Class Upgrades	neelk	2008-08-31 13:46
Story	Non-Deterministic Recursive Ascent Parsing Also, Essence by neelk	neelk	2008-08-08 14:04
Forum topic	A Question Concerning Effect Types For first-order programs... by neelk	shap	2008-08-06 15:01
Story	Almost everything happened in the Golden Age, right? Getting a handle on data by neelk	Peter Van Roy	2008-07-28 19:24
Story	ICFP contest starts tomorrow	neelk	2008-07-12 19:34
Story	Functional Netlists	neelk	2008-07-10 10:40
Story	Hardware Design and Functional Programming: a Perfect Match No, not spam! by neelk	Luke Gorrie	2008-07-09 17:39
Forum topic	Higher-order type constructor polymorphism vs./and template style specialization There are type systems... by neelk	scottmcl	2008-06-18 17:06
Forum topic	On the importance of Turing completeness Yes by neelk This is Turing-complete! by neelk Here's a concrete example of by neelk	jdgallag	2008-06-16 22:31
Story	Lightweight Fusion by Fixed Point Promotion	neelk	2008-06-16 22:26
Forum topic	what a type system always proves vs. what it can be made to prove Maybe this is helpful.... by neelk	bdenckla	2008-06-10 17:56
Story	Species: making analytic functors practical for functional programming	neelk	2008-05-30 04:45
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