CITATION STYLE
Barbanera, E., Dezani-Ciancaglini, M., & Vries, F. J. (1998). Types for Trees. In Programming Concepts and Methods PROCOMET ’98 (pp. 11–29). Springer US. https://doi.org/10.1007/978-0-387-35358-6_6
Mendeley helps you to discover research relevant for your work.