[TYPES] Types for Open Terms ?

Anthony de Almeida Lopes anthony.de.almeida.lopes at falsifiable.net
Thu Oct 13 13:48:38 EDT 2011


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


More information about the Types-list mailing list