Compilation based on a calculus for explicit type passing (1996)
| Venue: | In Proceedings of Fuji International Workshop on Functional and Logic Programming |
| Citations: | 8 - 1 self |
BibTeX
@INPROCEEDINGS{Minamide96compilationbased,
author = {Yasuhiko Minamide},
title = {Compilation based on a calculus for explicit type passing},
booktitle = {In Proceedings of Fuji International Workshop on Functional and Logic Programming},
year = {1996},
pages = {301--320},
publisher = {World Scientific}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose several calculi for explicit type passing that enable us to formalize compilation of polymorphic programming languages like MLasphasesoftypepreserving translations. In our calculi various manipulations for type parameters can be expressed without typing problems|this is impossible in the polymorphic-calculi. Furthermore, we develop the translation from an explicit typed source calculus similar to Core-XML to one of the proposed calculi which completely eliminates runtime construction type parameters. We proposeanintermediate language based on this calculus, and discuss an implementation of a compiler for Core Standard ML. 1.
