wiki:QuantifiedContexts

See QuantifiedConstraints.

Changing the page name reflects a change in vocabulary. The "context" part seemed confusing, and "quantified constraints" is the vocabulary used in the ICFP paper. Better to be consistent everywhere, going forward.

Last modified 19 months ago Last modified on Jan 31, 2018 11:53:36 PM