Open AccessA semantic foundation for sound gradual typing
Author(s) -
Max S. New
Publication year - 2020
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.17760/d20398327
Subject(s) - programming language , computer science , type safety , correctness , static analysis , scripting language , mathematical proof , soundness , semantics (computer science) , embedding , type inference , artificial intelligence , mathematics , geometry , inference
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