Charles Stewart

type	title	author	last post
Forum topic	Curry/Howard and Disjunction Both sum type former and logical disjunction are inclusive or by Charles Stewart	Daniel Slaney	2005-11-02 16:48
Story	Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? WF types by Charles Stewart neelk wrote: I'm pretty sure by Charles Stewart Option (1) is spot on by Charles Stewart PS: Greg Restall by Charles Stewart Well there isn't much written explicitly about the link... by Charles Stewart	Ehud Lamm	2005-11-02 01:34
Forum topic	Parsing and syntax reordering Linearity by Charles Stewart	kruhft	2005-11-01 18:12
Forum topic	Journal "Logical Methods in CS" Typesafe general recursion by Charles Stewart Depth notwithstanding... by Charles Stewart	Charles Stewart	2005-10-27 17:13
Story	LtU: Style and Focus Eliminate threads & FAQ by Charles Stewart	Ehud Lamm	2005-09-29 22:03
Forum topic	Ruby: Language of the Programming Ãœbermensch? Since we're talking about ruby... by Charles Stewart	Nathan Sobo	2005-09-27 19:41
Forum topic	Most Productive FP Lang? FP without closures by Charles Stewart	David B. Held	2005-09-26 03:14
first page previous page

Lambda the Ultimate