You can find me on GitHub, Bluesky, and Twitter.
External Links
Blogs I like, informally categorized.
On Programming Languages:
- Semantic Domain (Neelankantan Krishnaswami)
- A Neighborhood of Infinity (Dan Piponi)
- Existential Type (Bob Harper)
- Mathematics and Computation (Andrej Bauer)
- Jeremy Siek