System ST toward a type system for extraction and proofs of programs (Q1400600): Difference between revisions

@@ Property / cites work @@
+Q4474826
@@ Property / cites work: Q4474826 / rank @@
+Normal rank
@@ Property / cites work @@
+Pruning simply typed  -terms
@@ Property / cites work: Pruning simply typed -terms / rank @@
+Normal rank
@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Normalization with Singleton Types
@@ Property / cites work: Strong Normalization with Singleton Types / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Deciding type equivalence in a language with singleton kinds
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Positive subtyping
@@ Property / cites work: Positive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q3816051
@@ Property / cites work: Q3816051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477935
@@ Property / cites work: Q3477935 / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive programming with proofs
@@ Property / cites work: Recursive programming with proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Studies of a theory of specifications with built-in program extraction
+Normal rank