Daniel Jeffries
- 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 |
548 |
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... |