Types behind the mirror: A proposal for partial ML type reconstruction at runtime (1997)

by Emmanuel Chailloux, Pascal Manoury, Bruno Pagano
Venue:In Types In Compilation workshop