http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM26YallopWG211/M26Yallop - Revision history2026-10-26T17:50:26ZRevision history for this page on the wikiMediaWiki 1.43.5http://mw.hh.se/wg211/index.php?title=WG211/M26Yallop&diff=2938&oldid=prevJeremy-y: Created page with "'''Staging with Equality''' ''Jeremy Yallop'' I present a study of the interaction between GADTs, typed quotations, and mutable state, and identify two classes of soundness problems. There are various static and dynamic checks that address the problems, and I discuss the application of those checks in the Modular Macros project and to the languages MetaOCaml, GHC Haskell, and Scala 3."2026-10-26T10:17:18Z<p>Created page with "'''Staging with Equality''' ''Jeremy Yallop'' I present a study of the interaction between GADTs, typed quotations, and mutable state, and identify two classes of soundness problems. There are various static and dynamic checks that address the problems, and I discuss the application of those checks in the Modular Macros project and to the languages MetaOCaml, GHC Haskell, and Scala 3."</p>
<p><b>New page</b></p><div>'''Staging with Equality'''<br />
<br />
''Jeremy Yallop''<br />
<br />
<br />
I present a study of the interaction between GADTs, typed quotations, and mutable state, and identify two classes of soundness problems. There are various static and dynamic checks that address the problems, and I discuss the application of those checks in the Modular Macros project and to the languages MetaOCaml, GHC Haskell, and Scala 3.</div>Jeremy-y