Nathan Sobo

type	title	author	last post
Story	Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? Thanks by Nathan Sobo The Curry-Howard isomorphism by Nathan Sobo	Ehud Lamm	2005-11-02 01:34
Forum topic	Non-Lisp, natively extensible?	Nathan Sobo	2005-09-30 08:29
Story	LtU: Style and Focus Clarification by Nathan Sobo	Ehud Lamm	2005-09-29 22:03
Forum topic	Ruby: Language of the Programming Ãœbermensch? Amusingly enough, one of the by Nathan Sobo Yeah... you're right. I start by Nathan Sobo Yeah, I get what you're sayin by Nathan Sobo I don't know enough about mon by Nathan Sobo Yeah, I get it... by Nathan Sobo There are multiple instructor by Nathan Sobo Mooo by Nathan Sobo	Nathan Sobo	2005-09-27 19:41
Forum topic	Haskell and creative freedom The only time I'll use a bang by Nathan Sobo	Nathan Sobo	2005-09-16 00:08
Forum topic	A section on Books How about a Wiki? by Nathan Sobo	senthil	2005-09-01 14:28
first page previous page

Lambda the Ultimate