Personal tools
You are here: Home Academic Types in Programming Languages

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.

Page 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.
Page Type Talk Outline
A preliminary outline for the talk.
File 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.
File 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...
Document Actions