NII Technical Report (NII-2010-003E)

Title Translation of Multi-Staged Language
Authors Makoto Tatsuta
Abstract This paper provides a translation of multi-staged language into a record calculus. It is based on the translations given by Aktemur and Yi. This paper gives simpler and detailed proofs of the soundness theorem of its type translation and the bisimilarity of its term translation.
Language English
Published Jul 20, 2010
Pages 5p
PDF File 10-003E.pdf

NII Technical Reports
National Institute of Informatics