"To-many or to-one? all-in-one! efficient purely functional multi-maps with ..."

Michael J. Steindorfer, Jurgen J. Vinju (2018)

Details and statistics

DOI: 10.1145/3192366.3192420

access: closed

type: Conference or Workshop Paper

metadata version: 2021-06-23

a service of  Schloss Dagstuhl - Leibniz Center for Informatics