Andrew Polonsky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2020
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FOSSACS | Deep Induction: Induction Rules for (Truly) Nested Types. | Patricia Johann, Andrew Polonsky |
| 2019 | LICS | Higher-Kinded Data Types: Syntax and Semantics. | Patricia Johann, Andrew Polonsky |
| 2011 | CSL | Axiomatizing the Quote. | Andrew Polonsky |