Conference item icon

Conference item

APLicative programming with Naperian functors

Abstract:

Much of the expressive power of array-oriented languages such as Iverson's APL and J comes from their implicit lifting of scalar operations to act on higher-ranked data, for example to add a value to each element of a vector, or to add two compatible matrices pointwise. It is considered a shape error to attempt to combine arguments of incompatible shape, such as a 3-vector with a 4-vector. APL and J are dynamically typed, so such shape errors are caught only at run-time. Recent work by Slepak...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-662-54434-1_21

Authors


More by this author
Institution:
University of Oxford
Division:
Societies, Other & Subsidiary Companies
Department:
Kellogg College
Oxford college:
Kellogg College
Role:
Author
More from this funder
Funding agency for:
Gibbons, J
Grant:
EP/K020919/1
Publisher:
European Joint Conferences on Theory and Practice of Software Publisher's website
Journal:
European Symposium on Programming Journal website
Host title:
European Symposium on Programming
Publication date:
2017-03-01
Acceptance date:
2016-12-17
DOI:
Source identifiers:
671146
Pubs id:
pubs:671146
UUID:
uuid:2ec47534-74c5-4959-8636-a59980e35d21
Local pid:
pubs:671146
Deposit date:
2017-01-16

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP