Map fusion for nested datatypes in intensional type theory (Q627204): Difference between revisions

@@ Property / cites work @@
+Generalizing generalized tries
@@ Property / cites work: Generalizing generalized tries / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution: A formal methods case study using monads and transformations
+Normal rank
@@ Property / cites work @@
+de Bruijn notation as a nested datatype
@@ Property / cites work: de Bruijn notation as a nested datatype / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945244
@@ Property / cites work: Q4945244 / rank @@
+Normal rank
@@ Property / cites work @@
+A principled approach to programming with nested types in Haskell
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q4435471
@@ Property / cites work: Q4435471 / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration and coiteration schemes for higher-order and nested datatypes
+Normal rank
@@ Property / cites work @@
+Generalised folds for nested datatypes
@@ Property / cites work: Generalised folds for nested datatypes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435457
@@ Property / cites work: Q4435457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+An induction principle for nested datatypes in intensional type theory
+Normal rank
@@ Property / cites work @@
+Disciplined, efficient, generalised folds for nested datatypes
+Normal rank
@@ Property / cites work @@
+Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening
+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 @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion on Nested Datatypes in Dependent Type Theory
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+A general formulation of simultaneous inductive-recursive definitions in type theory
+Normal rank