Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper).

Cunyuan Gao, Lionel Parreaux

Browse the full GPCE paper archive.