Kimberley Burchett | Lambda the Ultimate

Kimberley Burchett

view
track

type	title	author	last post
Story	Richard Feynman and the Connection Machine Broken link? by Kimberley Burchett	Luke Gorrie	2009-06-08 11:11
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Pi calculus? by Kimberley Burchett visualization, search engines, stream processing by Kimberley Burchett Isomorphisms, constraints, and nouns by Kimberley Burchett	John Carter	2009-05-23 23:23
Story	LtU: blog not forum! Deleting posts? by Kimberley Burchett	Ehud Lamm	2009-02-14 14:11
Story	Almost everything happened in the Golden Age, right? STM by Kimberley Burchett	Peter Van Roy	2008-07-28 19:24
Story	Lowering: A Static Optimization Technique for Transparent Functional Reactivity Stateful nodes by Kimberley Burchett There are several advantages by Kimberley Burchett Exactly by Kimberley Burchett	neelk	2007-02-22 18:41
Story	Annotated POPL 2007 Program Related to the Non-Standard Interpretation paper by Kimberley Burchett	Noel	2007-01-19 02:35
Forum topic	First Class Values, Types as values within a Programming Language That's a union type by Kimberley Burchett	Bruce Rennie	2006-07-20 00:50
Story	Djinn, a theorem prover in Haskell, for Haskell. Can it require that all arguments are used? by Kimberley Burchett	shapr	2006-01-24 18:58
Forum topic	Getting started in language design -- reading material? Epigram by Kimberley Burchett Oz, Scheme by Kimberley Burchett	dataangel	2005-12-02 11:53
Story	Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? Notation by Kimberley Burchett	Ehud Lamm	2005-11-02 01:34
Forum topic	Haskell and creative freedom Reasoning at the level of text by Kimberley Burchett Try these by Kimberley Burchett	Nathan Sobo	2005-09-16 00:08
Story	Scrap more boilerplate Section 10 by Kimberley Burchett	Ehud Lamm	2004-08-11 18:24
next page last page