APLicative Programming with Naperian Functors

DOI10.1007/978-3-662-54434-1_21zbMath1485.68066OpenAlexW2589901545MaRDI QIDQ2988659

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) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Calculating datastructures ⋮ Unnamed Item ⋮ APLicative Programming with Naperian Functors ⋮ Probabilistic Lipschitz analysis of neural networks

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dependently typed array programs don't go wrong
• Quad trees: A data structure for retrieval by composite keys
• Manufacturing datatypes
• APLicative Programming with Naperian Functors
• Purely Functional Data Structures
• Regular, shape-polymorphic, parallel arrays in Haskell
• Functional Array Programming in SaC
• Functional reactive animation
• An Array-Oriented Language with Static Rank Polymorphism
• Applicative programming with effects

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