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