@techreport{KiYiCa2005,
   author = {Ik-Soon Kim and Kwangkeun Yi and Cristiano Calcagno},
   title = {A Polymorphic Modal Type System for Lisp-Like Multi-Staged Languages},
   institution = {Programming Research Laboratory, School of Computer Science & Engineering, Seoul National University},
   type = {Technical Memorandum},
   number = {ROPAS-2005-26},
   month = {July},
   year = {2005},
   category = {tech-memo},
   format = {pdf},
}