Michal Konecný
Functional In-Place Update with Layered Datatype Sharing
TLCA, 2003.
@inproceedings{TLCA-2003-Konecny, author = "Michal Konecný", booktitle = "{Proceedings of the Sixth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-44904-3_14", isbn = "3-540-40332-9", pages = "195--210", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Functional In-Place Update with Layered Datatype Sharing}", volume = 2701, year = 2003, }