@inproceedings{KiYiCa2005a,
   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},
   category = {staged-programming-languages conference},
   format = {pdf},
}