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

From MaRDI portal
Changed an Item
Set OpenAlex properties.
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1402.1699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4417849 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebras for Parameterised Monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parameterised notions of computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Category Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functorial polymorphism / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Monadic Parametricity of Second-Order Functionals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing Polymorphic Properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4331824 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Free Applicative Functors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fast and loose reasoning is morally correct / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinators for bi-directional tree transformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: The essence of the <scp>Iterator</scp> pattern / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5854727 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215784 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applicative programming with effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4499224 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic operations and generic effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handlers of Algebraic Effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: On functors expressible in the polymorphic typed lambda calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data types à la carte / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2963683507 / rank
 
Normal rank

Latest revision as of 10:44, 30 July 2024

scientific article; zbMATH DE number 6796885
Language Label Description Also known as
English
A representation theorem for second-order functionals
scientific article; zbMATH DE number 6796885

    Statements

    A representation theorem for second-order functionals (English)
    0 references
    0 references
    0 references
    23 October 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references