Skip to content

A modal type system for multi-level generating extensions with persistent code.

Yosihiro Yuse, Atsushi Igarashi

VenueCPPDP
Year2006
ProceedingsPPDP

Browse the full PPDP paper archive.