Lambda the Ultimate

type	title	author	last post
Story	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking	neelk	2009-03-06 16:33
Story	Parameterized Notions of Computation Hey, that's pretty cool! by neelk What I'm getting at is that by neelk	neelk	2009-02-17 19:38
Forum topic	Microsoft PDC "Language" Talks How contracts are "more applicable" by neelk	shahbaz	2009-02-12 12:16
Forum topic	What is the dual of { } ? Regular languages... by neelk	Kay Schluehr	2009-02-12 08:58
Forum topic	Graduate Programs in Programming Language Design/Research/Implementation? If you're still near Purdue... by neelk	shubhamharnal	2009-01-30 18:05
Forum topic	Explaining monads This is exactly what I do by neelk Ha! by neelk	Ehud Lamm	2009-01-30 11:43
Forum topic	Non-standard type theories for FP If you look at his 1974 paper... by neelk	marco	2009-01-25 03:59
Forum topic	Monads = lazy, effect types = strict? Types, lots of types...! by neelk It's what I do in Ocaml, too... by neelk	dpmulligan	2009-01-13 02:20
Forum topic	Typed lambda calculii with type-indexed families of functions instead of polymoprhic functions? See Harper & Morisett 1995 by neelk	andhow	2009-01-13 01:10
Story	Calculemus 2005 I would be fascinated by anyt by neelk	Mark Evans	2009-01-07 18:19
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
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