Partials
Partials: Concepts, Issues, and Designs
- Partial
-
There are two sorts: E and the lifted sort E?
The constructors are undefined (a constant of sort E?) and
lift (which takes elements of sort E into the lifted sort E?).
The spec is in:
partial.re
- Partial-As-Triv-Defn-Extn
-
Useful for interpretations (especially when generating code).
The spec is in:
partial-as-triv-defn-extn.re