[TYPES] Types for Open Terms ?

[Anthony de Almeida Lopes]

2011/10/13 Kwangkeun Yi <kwang at ropas.snu.ac.kr>:
> One missing paper is
> "A Polymorphic Modal Type System for Lisp-Like Multi-Staged
> Languages"(POPL'06)
> http://ropas.snu.ac.kr/~kwang/paper/06-jfp-yi.pdf
>
> Best,
>
> -Kwang

I think you meant http://www.doc.ic.ac.uk/~ccris/ftp/06-popl-kiyicr.pdf