Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PolyLib
@@ Property / describes a project that uses: PolyLib / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2004.10.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2105266034
@@ Property / OpenAlex ID: W2105266034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435457
@@ Property / cites work: Q4435457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417851
@@ Property / cites work: Q4417851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263807
@@ Property / cites work: Q4263807 / rank @@
+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 @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised folds for nested datatypes
@@ Property / cites work: Generalised folds for nested datatypes / rank @@
+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 @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721090
@@ Property / cites work: Q2721090 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing generalized tries
@@ Property / cites work: Generalizing generalized tries / rank @@
+Normal rank
@@ Property / cites work @@
+Manufacturing datatypes
@@ Property / cites work: Manufacturing datatypes / 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 @@
+Q2778824
@@ Property / cites work: Q2778824 / rank @@
+Normal rank
@@ Property / cites work @@
+Red-black trees with types
@@ Property / cites work: Red-black trees with types / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the semi-unification problem
+Normal rank
@@ Property / cites work @@
+ML             <sup>F</sup>
@@ Property / cites work: ML <sup>F</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Disciplined, efficient, generalised folds for nested datatypes
+Normal rank
@@ Property / cites work @@
+Q4720069
@@ Property / cites work: Q4720069 / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone (co)inductive types and positive fixed-point types
+Normal rank
@@ Property / cites work @@
+Faking it  Simulating dependent types in Haskell
@@ Property / cites work: Faking it Simulating dependent types in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Type classes with more higher-order polymorphism
@@ Property / cites work: Type classes with more higher-order polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation of Functional Languages
@@ Property / cites work: Implementation of Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Red-black trees in a functional setting
@@ Property / cites work: Red-black trees in a functional setting / rank @@
+Normal rank
@@ Property / cites work @@
+The Girard-Reynolds isomorphism
@@ Property / cites work: The Girard-Reynolds isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738349
@@ Property / cites work: Q4738349 / rank @@
+Normal rank
@@ Property / cites work @@
+Typability and type checking in System F are equivalent and undecidable
+Normal rank