@inproceedings{KiYiCr06,
  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({\bf POPL})",
  pages = "257--269",
  year = "2006"
}