cb125/scope-islands

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

语言：Haskell · GitHub 星标：10 · Fork：3

在 GitHub 上查看原仓库