@conference{851b523316114d58b305de159271c373,
title = "Constrained polymorphic types for a calculus with name variables",
keywords = "Incremental rebinding, Metaprogram-ming, Name polymorphism, Open code, Software, Incremental rebinding, Metaprogram-ming, Name polymorphism, Open code, Software",
author = "Davide Ancona and Paola GIANNINI and Elena Zucca",
year = "2018",
doi = "10.4230/LIPIcs.TYPES.2015.4",
language = "English",
pages = "41--429",
note = "TYPES 2015 ; Conference date: 01-01-2018",
}