polybta

Formalization of Polymorphic Binding-Time Analysis. This code uses the Agda standard library version 0.7.

Name		Name	Last commit message	Last commit date
Latest commit History 295 Commits
PHOAS		PHOAS
clean-de-bruijn		clean-de-bruijn
polytype		polytype
ppdp2014		ppdp2014
.gitignore		.gitignore
BaseInd.agda		BaseInd.agda
BaseIndExt.agda		BaseIndExt.agda
BaseIndParam.agda		BaseIndParam.agda
DB2PHOAS-Correctness.agda		DB2PHOAS-Correctness.agda
DB2PHOAS.agda		DB2PHOAS.agda
LICENSE		LICENSE
Lib.agda		Lib.agda
PE-STLC-DBL-a.agda		PE-STLC-DBL-a.agda
PE-STLC-DBL-b.agda		PE-STLC-DBL-b.agda
PE-STLC-basic-correctness.agda		PE-STLC-basic-correctness.agda
PE-STLC-basic.agda		PE-STLC-basic.agda
PE-STLC-full-correctness.agda		PE-STLC-full-correctness.agda
PE-STLC-full.agda		PE-STLC-full.agda
PE-STLC-wft.agda		PE-STLC-wft.agda
PE-STLCfix-Examples.agda		PE-STLCfix-Examples.agda
PE-STLCfix-Lu.agda		PE-STLCfix-Lu.agda
PE-STLCfix-Yang.agda		PE-STLCfix-Yang.agda
PE-STLCfix-correctness.agda		PE-STLCfix-correctness.agda
PE-STLCfix.agda		PE-STLCfix.agda
PE-Untyped-Ken.agda		PE-Untyped-Ken.agda
PHOAS2DB-Correctness.agda		PHOAS2DB-Correctness.agda
PHOAS2DB.agda		PHOAS2DB.agda
README.md		README.md
Shake.hs		Shake.hs
TwoLevelTypes-Iso.agda		TwoLevelTypes-Iso.agda
Types.agda		Types.agda
default.nix		default.nix
failing-modules.txt		failing-modules.txt

proglang/polybta