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

SpecWeb Index Specs