Skip to Main content Skip to Navigation
Conference papers

Types behind the mirror : a proposal for partial ML type reconstruction at run-time.

Emmanuel Chailloux Pascal Manoury Bruno Pagano 1 
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Polymorphic parametric languages, statically typed, à la ML, do not need to keep types inside their values during runtime to have a safe execution. Nevertheless this type information gives new possibilities for debugging, allows to extend the language to manipulate types as values. It can be stored either in stack or in heap. To manage the additional type information, we propose in this paper to divide the heap in a value space and a mirror space. The first space is used to store values, the second one is used to store type information and garbage collecting. We describe a new Stop & Copy GC algorithm handling the divided heap with low memory cost. We finally give proposals for partially rebuilding types from informations stored in the mirror space.
Document type :
Conference papers
Complete list of metadata
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Thursday, November 23, 2017 - 5:11:15 PM
Last modification on : Sunday, June 26, 2022 - 9:47:39 AM


  • HAL Id : hal-01646760, version 1


Emmanuel Chailloux, Pascal Manoury, Bruno Pagano. Types behind the mirror : a proposal for partial ML type reconstruction at run-time.. Types in Compilation Workshop, Jun 1997, Amsterdam, Netherlands. ⟨hal-01646760⟩



Record views