WG211/M26Yallop: Revision history

From WG 2.11
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

26 October 2026

  • curprev 11:1711:17, 26 October 2026 Jeremy-y talk contribs 392 bytes +392 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." Tag: Visual edit
Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M26Yallop"