Types in Programming Languages

A talk (and its evolution) on typing. This includes some thoughts when I started planning the talk and a preliminary list of slides/topics for presentation and will include the slides when done.

Type Talk — by admin — last modified 2007-04-08 12:46

An informal history of how I'm developing a talk on programming languages and types for a graduate symposium. Eventually the presentation itself will be available.

Type Talk Outline — by admin — last modified 2007-03-30 11:47

A preliminary outline for the talk.

First Draft — by admin — last modified 2007-04-08 10:58

This is a first draft of the talk. Not quite finished yet, and likely to change before the talk is given. It is in Open Document format.

Full Draft — by admin — last modified 2007-04-08 10:58

A full draft. This is pretty close to the talk as it will be presented. However, there may be some changes made - reorganizations, minor additions, deletions...