Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)

Eric Giovannini, Tingting Ding, Max S. New

Gradually typed programming languages, which allow for soundly mixing static and dynamically typed programming styles, present a strong challenge for metatheorists. Even the simple…