Type-based termination of generic programs (Q923883): Difference between revisions

@@ Property / cites work @@
+Semi-continuous Sized Types and Termination
@@ Property / cites work: Semi-continuous Sized Types and Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Generic Programming with Sized Types
@@ Property / cites work: Towards Generic Programming with Sized Types / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration and coiteration schemes for higher-order and nested datatypes
+Normal rank
@@ Property / cites work @@
+Q4816996
@@ Property / cites work: Q4816996 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945244
@@ Property / cites work: Q4945244 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based termination of recursive definitions
@@ Property / cites work: Type-based termination of recursive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4825542
@@ Property / cites work: Q4825542 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible type analysis
@@ Property / cites work: Flexible type analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional polymorphism in type-erasure  semantics
+Normal rank
@@ Property / cites work @@
+Q4219036
@@ Property / cites work: Q4219036 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing generalized tries
@@ Property / cites work: Generalizing generalized tries / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to generic functional programming
@@ Property / cites work: A new approach to generic functional programming / rank @@
+Normal rank
@@ Property / cites work @@
+Polytypic values possess polykinded types
@@ Property / cites work: Polytypic values possess polykinded types / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Type-indexed data types
@@ Property / cites work: Type-indexed data types / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation of Functional Languages
@@ Property / cites work: Implementation of Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945203
@@ Property / cites work: Q4945203 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank