Types & Times
typesandtimes.net
Programming languages, types, time, and calendars
The site presents technical essays connecting programming language concepts with time and calendar systems. Readers interested in type theory or the history of timekeeping will find well-researched, original material. It suits those who enjoy deep dives into niche technical subjects.
Checked with Google Web Risk · 2 hours ago
- language
- EN
- here since
- July 2026