APLicative Programming with Naperian Functors

DOI10.1007/978-3-662-54434-1_21MaRDI QIDQ2988659zbMATH OpenOpenAlexFDO

Authors Jeremy Gibbons

Publication date 19 May 2017

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:2ec47534-74c5-4959-8636-a59980e35d21

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 19496
• Functional programming with apomorphisms (corecursion)
• On structuring functional programs with monoidal profunctors
• scientific article; zbMATH DE number 3940711
• Constructing Applicative Functors
• Applicative programming with effects
• scientific article; zbMATH DE number 839383
• Relationships between category theory and functional programming with an application
• Equational Reasoning with Applicative Functors

Cites work

• scientific article; zbMATH DE number 3165828 (Why is no real title available?)
• scientific article; zbMATH DE number 3874579 (Why is no real title available?)
• APLicative Programming with Naperian Functors
• An array-oriented language with static rank polymorphism
• Applicative programming with effects
• Dependently typed array programs don't go wrong
• Functional Array Programming in SaC
• Functional reactive animation
• Manufacturing datatypes
• Purely Functional Data Structures
• Quad trees: A data structure for retrieval by composite keys
• Regular, shape-polymorphic, parallel arrays in Haskell
• Semantics engineering with PLT Redex

Cited in

(9)

• scientific article; zbMATH DE number 7447767 (Why is no real title available?)
• APLicative Programming with Naperian Functors
• An array-oriented language with static rank polymorphism
• Constructing Applicative Functors
• Probabilistic Lipschitz analysis of neural networks
• Calculating datastructures
• Applicative programming with effects
• Multi-dimensional arrays with levels
• Gradual tensor shape checking

Describes a project that uses

Uses Software

• J
• Fran
• PLT Redex
• Blitz++ library
• Haskell
• APL

This page was built for publication: APLicative Programming with Naperian Functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988659)