Phil Wadler
Edit Page
Report
Scan day: 16 February 2014 UTC
13
Virus safety - good
Description: Phil Wadler's thoughts on Erlang.
Philip Wadler. The Great Type Hope. Presented at (colocated with ICFP 2002) Pittsburgh, 7 October 2002 (invited talk). This talk explains the relation between logic and typed lambda calculus, and reviews the paper cited below from a perspective of five years later.
Size: 265 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Wadler: Erlang |
| Keywords: | |
| Description: | |
| IP-address: | 129.215.32.13 |