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