Daniel Jeffries
![](/ir/asu/i/p/No_image_available_NC_Docks.svg.png)
- Computer Science - Student, ASU
There are 1 included publications by Daniel Jeffries :
Title | Date | Views | Brief Description |
Towards Formalizing Parametricity For Nested Types In Agda |
2021 |
665 |
Recent work by Johann, Ghiorzi, and Jeffries presents a Hindley-Milner-style calculus whose type system includes a primitive type formation rule for constructing nested types directly as fixpoints. The term calculus for this type system supports prim... |