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 |