@inproceedings{KiYiCa-POPL-2006,
author = "Ik-Soon Kim and Kwangkeun Yi and Cristiano Calcagno",
title = "A Polymorphic Modal Type System for Lisp-Like Multi-Staged Languages",
booktitle = "Proceedings of The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
pages = "257--269",
year = "2006"
}