Amanote Research

Amanote Research

    RegisterSign In

Selective Applicative Functors

Proceedings of the ACM on Programming Languages
doi 10.1145/3341694
Full Text
Open PDF
Abstract

Available in full text

Date

July 26, 2019

Authors
Andrey MokhovGeorgy LukyanovSimon MarlowJeremie Dimino
Publisher

Association for Computing Machinery (ACM)


Related search

Applicative Abstract Categorial Grammar

English

Non-Additive Functors, Their Derived Functors, and the Suspension Homomorphism

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
1958English

Applicative Structure and Mandarin Ditransitives

Argument Structure and Syntactic Relations
2010English

Construction of Isology Functors

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1966English

Separable Functors in Corings

International Journal of Mathematics and Mathematical Sciences
Mathematics
2002English

Model Checking RAISE Applicative Specifications

2007English

Correction To: Fun With Functors

2020English

Applicative Bisimulations for Delimited-Control Operators

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On Unstable Modules Over the Dickson Algebras, the Singer Functors Rsand the Functors Fixs

Algebraic and Geometric Topology
GeometryTopology
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy