Generic Programming for Indexed Datatypes - aes, J; Jeuring, J (Department of Information and Computing Sciences‚ Utrecht University, 2011)