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 5 months ago Last modified on Jan 31, 2018 11:53:36 PM