Re: System F

Article View: comp.lang.functional

Article #415

Back to comp.lang.functional Previous Next

#415

From: Al Reich
Date: Fri, 03 Aug 1990 17:42

16 lines
905 bytes

I don't know if there's a simpler explanation of second order
typed lambda calculus, but I do know of one for category theory:

   "A Taste of Category Theory for Computer Scientists"
   by Benjamin C. Pierce
   CMU-CS-88-203
   Computer Science Dept., Carnegie Mellon Univ.,
   Pittsburgh, PA 15213

It includes a tutorial, case studies, a literature survey, and
some typographical errors (which aren't hard to find if you read
carefully).

Al Reich
Lockheed - Austin Division

Technical Details

Message-ID: <349@titmouse.AUSTIN.LOCKHEED.COM>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!ut-emx!lad-shrike!reich

References: <3477@goanna.cs.rmit.oz.au>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!ut-emx!lad-shrike!reich
From: reich@AUSTIN.LOCKHEED.COM (Al Reich)
Newsgroups: comp.lang.functional
Subject: Re: System F
Summary: A kinder gentler reference on category theory
Message-ID: <349@titmouse.AUSTIN.LOCKHEED.COM>
Date: 3 Aug 90 17:42:18 GMT
References: <3477@goanna.cs.rmit.oz.au>
Organization: Lockheed Austin Div.
Lines: 16

Reply to Parent Message