Path: utzoo!attcan!uunet!snorkelwacker!tut.cis.ohio-state.edu!pt.cs.cmu.edu!f.gp.cs.cmu.edu!mleone
From: mleone@f.gp.cs.cmu.edu (Mark Leone)
Newsgroups: comp.lang.functional
Subject: Re: System F
Message-ID: <10125@pt.cs.cmu.edu>
Date: 6 Aug 90 15:00:18 GMT
References: <3477@goanna.cs.rmit.oz.au> <349@titmouse.AUSTIN.LOCKHEED.COM>
Organization: Carnegie-Mellon University, CS/RI
Lines: 17

In article <349@titmouse.AUSTIN.LOCKHEED.COM> reich@AUSTIN.LOCKHEED.COM (Al Reich) writes:
>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

This paper has recently been revised and expanded (March 1990).
The new version is available as CMU-CS-90-113

--
Mark R. Leone  <mleone@cs.cmu.edu>
Computer Science, Carnegie Mellon University
Pittsburgh, PA 15213