WG211/M15Igarashi
From WG 2.11
Type systems for a polymorphic imperative multi-stage language by Atsushi Igarashi
It is well known that naive combination of let-polymorphism with mutable references makes an unsound type system. The problem is even more subtle in MetaOCaml-like multi-stage languages; indeed, as Kiselyov and Shan have discovered, naive value restriction does not work. In this talk, I'll discuss two type systems to deal with this problem.
Joint work with Megumi Kobayashi.
