A Partial Type Checking Algorithm for Type:Type
Under a Creative Commons license
open access
Keywords
Dependent Types
Pure Type Systems
Type Checking
Type:Type
Cited by (0)
- 1
Research supported by FP6 IST coordination action TYPES (510996).
- 2
Research supported by EPSRC grant Observational Equality For Dependently Typed Programming (EP/C512022/1)
Copyright © 2011 Elsevier B.V.