http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM17IgarashiWG211/M17Igarashi - Revision history2026-04-05T19:32:54ZRevision history for this page on the wikiMediaWiki 1.43.5http://mw.hh.se/wg211/index.php?title=WG211/M17Igarashi&diff=1671&oldid=prevIgarashi: Add the abstract of Igarashi's talk2017-07-04T05:15:16Z<p>Add the abstract of Igarashi's talk</p>
<p><b>New page</b></p><div>Gradual typing allows statically typed and dynamically typed code<br />
to coexist in a single program. In this talk, we apply gradual<br />
typing to a MetaOCaml-like multi-stage language. A key design<br />
issue lies in how to extend casts, which are used to mediate<br />
between statically typed and dynamically typed code, to code<br />
types. We discuss a few possible semantics of casts and issues<br />
in supporting eval.</div>Igarashi