On 5/23/09, Tracy Harms <[email protected]> wrote: > On Wed, May 20, 2009 at 7:33 AM, Robert Raschke <[email protected]> > wrote: >> ... >> Haskell is mostly (in my eyes) an exercise in Type Theory. Influenced by >> the >> whole "theorems as types, proofs as programs" thing. There's some >> mathematician attached to that idea, whose name eludes me just now.... > > Alonzo Church? If not restrictive on "mathematician" per se, perhaps > Robin Milner or Philip Wadler?
I think I mean Martin-Löf (http://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f). Robby ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
