Subscribe to stay up-to-date with Types & Times. Never miss an update. You won’t have to worry about missing anything. Every new post on Types & Times goes directly to your inbox — and maybe other fun stuff too.
What is Types & Times?
A blog about programming languages, types, time, and calendars, by Scott Kilpatrick. The name Types & Times echoes the major focal point of programming languages theory, types and terms, the former academic subject of the author.