Skip to main content

Generic Programming for Indexed Datatypes

José Pedro Magalhães and Johan Jeuring

Institution
Department of Information and Computing Sciences‚ Utrecht University
Number
UU−CS−2011−021
Year
2011