A representation theorem for second-order functionals (Q5371942): Difference between revisions

@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras for Parameterised Monads
@@ Property / cites work: Algebras for Parameterised Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised notions of computation
@@ Property / cites work: Parameterised notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theory
@@ Property / cites work: Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+On Monadic Parametricity of Second-Order Functionals
+Normal rank
@@ Property / cites work @@
+Testing Polymorphic Properties
@@ Property / cites work: Testing Polymorphic Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Applicative Functors
@@ Property / cites work: Free Applicative Functors / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and loose reasoning is morally correct
@@ Property / cites work: Fast and loose reasoning is morally correct / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators for bi-directional tree transformations
+Normal rank
@@ Property / cites work @@
+The essence of the <scp>Iterator</scp> pattern
@@ Property / cites work: The essence of the <scp>Iterator</scp> pattern / rank @@
+Normal rank
@@ Property / cites work @@
+Q5854727
@@ Property / cites work: Q5854727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499224
@@ Property / cites work: Q4499224 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers of Algebraic Effects
@@ Property / cites work: Handlers of Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+On functors expressible in the polymorphic typed lambda calculus
+Normal rank
@@ Property / cites work @@
+Data types à la carte
@@ Property / cites work: Data types à la carte / rank @@
+Normal rank