Revision Historyfor Eelco Dolstra
for Eelco Dolstra
| Revision ID | User | Note | Date |
|---|---|---|---|
| #268455 | mib | author info from their phd thesis, https://web.archive.org/web/20251229120414/https://edolstra.github.io/pubs/phd-thesis.pdf—mib | 2026-01-07 12:17:53 |