On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M17Igarashi
From WG 2.11
Gradual typing allows statically typed and dynamically typed code to coexist in a single program. In this talk, we apply gradual typing to a MetaOCaml-like multi-stage language. A key design issue lies in how to extend casts, which are used to mediate between statically typed and dynamically typed code, to code types. We discuss a few possible semantics of casts and issues in supporting eval.
