Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256): Difference between revisions

@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Innovations in computational type theory using Nuprl
+Normal rank
@@ Property / cites work @@
+Q4474826
@@ Property / cites work: Q4474826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247299
@@ Property / cites work: Q4247299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345748
@@ Property / cites work: Q3345748 / rank @@
+Normal rank
@@ Property / cites work @@
+An implementation of LF with coercive subtyping and universes
+Normal rank
@@ Property / cites work @@
+Q2752048
@@ Property / cites work: Q2752048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681364
@@ Property / cites work: Q4681364 / rank @@
+Normal rank
@@ Property / cites work @@
+Singleton, union, and intersection types for program extraction
+Normal rank
@@ Property / cites work @@
+Pebble, a kernel language for modules and abstract data types
+Normal rank
@@ Property / cites work @@
+Transitivity in coercive subtyping
@@ Property / cites work: Transitivity in coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+A higher-order calculus and theory abstraction
@@ Property / cites work: A higher-order calculus and theory abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296744
@@ Property / cites work: Q4296744 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362923
@@ Property / cites work: Q4362923 / rank @@
+Normal rank
@@ Property / cites work @@
+Coercive subtyping
@@ Property / cites work: Coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Coercions in a polymorphic type system
@@ Property / cites work: Coercions in a polymorphic type system / rank @@
+Normal rank
@@ Property / cites work @@
+Structural subtyping for inductive types with functorial equality rules
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple type-theoretic foundations for object-oriented programming
+Normal rank
@@ Property / cites work @@
+Dependently typed records in type theory
@@ Property / cites work: Dependently typed records in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Working with Mathematical Structures in Type Theory
+Normal rank
@@ Property / cites work @@
+Coercion completion and conservativity in coercive subtyping
+Normal rank