Jacques Garrigue, Hassan Aït-Kaci. The Typed Polymorphic Label-Selective lambda-Calculus. In POPL. pages 35-47, 1994.
@inproceedings{GarrigueA94,
title = {The Typed Polymorphic Label-Selective lambda-Calculus},
author = {Jacques Garrigue and Hassan Aït-Kaci},
year = {1994},
researchr = {https://researchr.org/publication/GarrigueA94},
cites = {0},
citedby = {0},
pages = {35-47},
booktitle = {POPL},
}