Gradual type theory
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Functional Programming"
DOI: 10.1017/s0956796821000125
Abstract: Abstract Gradually typed languages are designed to support both dynamically typed and statically typed programming styles while preserving the benefits of each. Sound gradually typed languages dynamically check types at runtime at the boundary between… read more here.
Keywords: type theory; gradual type; semantics; eta equality ... See more keywords