Contact¶
The most reliable way to reach me is email.
Code¶
- github.com/williamdemeo
- Most of my current work. Also ualib/agda-algebras and IntersectMBO/formal-ledger-specifications.
- gitlab.com/williamdemeo
- Older projects, and the previous version of this site.
Publications and profiles¶
- arXiv
- Preprints, from 2012 to the present.
- ORCID 0000-0003-1832-5690
- Persistent scholarly identifier.
- Google Scholar
- Citations and coauthors.