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
- 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
- A preliminary outline for the talk.
-
First Draft
- 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
- 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...

