Lambda the Ultimate

inactiveTopic Harper: PL, The Essence of Computer Science
started 11/15/2002; 3:05:48 AM - last post 11/16/2002; 4:43:48 AM
Ehud Lamm - Harper: PL, The Essence of Computer Science  blueArrow
11/15/2002; 3:05:48 AM (reads: 1546, responses: 1)
Harper: PL, The Essence of Computer Science
Robert Harper. Programming Languages: The Essence of Computer Science. University of Washington Distinguished Lecture Series, October, 2002.

Another interesting talk from Robert Harper.

The first ten slides or so set the stage for what's to come, painting a background familiar to LtU readers: CS Is About Programming, Programming Is Linguistic, Languages Abound, It takes decades to go from research to practice, Type theory as the GUT of PLís.

Harper then goes on to talk about type systems, types in compilation, typed intermediate languages, TAL, type for low- and high-level languages (including verifying invariants) and dependent types.

Packed full with insights.


Posted to theory by Ehud Lamm on 11/15/02; 3:17:18 AM

Ehud Lamm - Re: Harper: PL, The Essence of Computer Science  blueArrow
11/16/2002; 4:43:48 AM (reads: 543, responses: 0)
The stuff about memoization (after the end of the talk!) is esp. nice.