Work

Towards size-dependent types for array programming

Year: 2021

Type: conference-paper

Source: ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY)

DOI: 10.1145/3460944.3464310

Authors: Troels Henriksen, Martin Elsman

Institution: University of Copenhagen

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3175685504

FWCI: 2.63

Cites: 25

Cited by: 23

Related to: 10