Published November 24, 2025
| Version v1
Technical note
Open
Typing Rules for Quotient Polymorphism
Authors/Creators
-
1.
University of Nottingham
Description
This document supplements the “Quotient Polymorphism” paper by providing the full set of typing rules for the core language λQ , including support for choice polymorphism for quotient types.
Files
TypingRules.pdf
Files
(510.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:5ea5f5c0887d3b11fd6cf83003417cb1
|
510.9 kB | Preview Download |