/scope-islands

Papers on scope, plus Haskell code for encoding and enforcing quantifier scope islands

Primary LanguageHaskell

No issues in this repository yet.