Searching for "Contextual modal type theory." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Contextual Model Type Theory
- …Contextual Modal Type Theory ALEKSANDAR NANEVSKI Harvard University and FRANK PFENNING Carnegie…
- Cited by 1 (0 self) – Add To MetaCart
-
Mini-cmML: Theory and Implementation
- … by the contextual modal type theory of Nanevski, Pfenning and Pientka [3] and the simplicity of Mini-ML [5…
- Add To MetaCart
-
15-819K: Logic Programming Lecture 22
- … in ∆. There is no need to allow general parametric assumptions ∆ ⊢ A, although research on contextual modal type theory…
- Add To MetaCart
-
Eliminating redundancy in higher-order unification: a lightweight approach
- … justify this optimization theoretically using a contextual modal type theory. 2) We have implemented…
- Cited by 1 (1 self) – Add To MetaCart
-
Higher-Order Constraint Simplification In Dependent Type Theory
- … terms, it is manifestly terminating and total. Third, we employ the contextual modal type theory [NPP05…
- Add To MetaCart
-
Dependently Typed Programming with Domain-Specific Logics
- … types, inspired by Contextual Modal Type Theory [40] and FOλ ∆∇ [38], to manage the scoping of LF…
- Cited by 1 (1 self) – Add To MetaCart
-
Submitted to POPL ’09 Dependently Typed Programming with Domain-Specific Logics
- … types, inspired by Contextual Modal Type Theory [40] and FOλ ∆∇ [38], to manage the scoping of LF…
- Add To MetaCart
-
Case analysis of higher-order data
- … follows contextual modal type theory [7], extended with parameter variables, substitution variables…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 8.
