An Array-Oriented Language with Static Rank Polymorphism

DOI10.1007/978-3-642-54833-8_3zbMath1405.68091OpenAlexW1019939734MaRDI QIDQ5410691

Olin Shivers, Panagiotis Manolios, Justin Slepak

Publication date: 16 April 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-54833-8_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

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

This page was built for publication: An Array-Oriented Language with Static Rank Polymorphism