1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
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…
cs.PL2023
Gradual Typing for Effect Handlers
Max S. New, Eric Giovannini, Daniel R. Licata
We present a gradually typed language, GrEff, with effects and handlers that supports migration from unchecked to checked effect typing. This serves as a simple model of the integr…