A polymorphic modal type system for lisp-like multi-staged languages.

Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno

Browse the full POPL paper archive.