27 citations · 100 across the 13 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.PL2018
Gradual Type Theory (Extended Version)
Max S. New, Daniel R. Licata, Amal Ahmed
Gradually typed languages are designed to support both dynamically typed and statically typed programming styles while preserving the benefits of each. While existing gradual type…
cs.PL2018★ 8 cited
Call-by-name Gradual Type Theory
Max S. New, Daniel R. Licata
We present gradual type theory, a logic and type theory for call-by-name gradual typing. We define the central constructions of gradual typing (the dynamic type, type casts and typ…
cs.LO2018★ 27 cited
Internal Universes in Models of Homotopy Type Theory
Daniel R. Licata, Ian Orton, Andrew M. Pitts +1
We begin by recalling the essentially global character of universes in various models of homotopy type theory, which prevents a straightforward axiomatization of their properties u…