About
Hi, I’m Matthew Toohey. I’m a master’s student in Computer Science at the University of Toronto. I study programming languages.
Publications
Extensible Data Types with Ad-Hoc Polymorphism (extended pdf, pdf, artifact repository, artifact, talk recording, talk slides)
Matthew Toohey*, Yanning Chen, Ara Jamalzadeh, Ningning Xie
POPL 2026
Talks
Metaprogramming for Formal Semantics: A Lean-Based Specification Tool (abstract)
Matthew Toohey, Ningning Xie*
FLoC 2026 Lean Workshop
Asterisks denote presenters.
Service
Articles
How to prevent high CPU usage when stopping a Discord systemd service.
An idea about how linear types could prevent exit from stopping the program without performing required cleanup.
An example of an interesting application of monads for an interpreter in OCaml.
Instructions for fixing subresource integrity checks when using Cloudflare.
A walkthrough of configuring NixOS for the Zephyrus G14.
GitHub pages require relative paths to assets, which Vite doesn't cooperate with by default, but we can fix that!
A simple, incremental photo backup strategy for Android using Termux and Rsync.
Instructions for how to connect to UofT's WPA enterprise WiFi network using IWD.
SvelteKit's experimental Cloudflare Workers adapter provides a way to easily deploy a SvelteKit site to Cloudflare workers.
