Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Giovannini, Eric"'
Gradually typed programming languages, which allow for soundly mixing static and dynamically typed programming styles, present a strong challenge for metatheorists. Even the simplest sound gradually typed languages feature at least recursion and erro
Externí odkaz:
http://arxiv.org/abs/2411.12822
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 integration of an effect typing discipline with an existing effectful typed
Externí odkaz:
http://arxiv.org/abs/2304.02145