Open AccessTyped programming language : the semantics of rank polymorphism
Author(s) -
Justin Slepak
Publication year - 2020
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.17760/d20383647
Subject(s) - computer science , programming language , soundness , theoretical computer science , data type , data structure , semantics (computer science) , type inference , type theory , algorithm , type (biology) , artificial intelligence , inference , biology , ecology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom