Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Victor Cacciari Miraldo, Alejandro Serrano. Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. In Richard A. Eisenberg, Niki Vazou, editors, Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018. pages 65-77, ACM, 2018. [doi]

This author has not been identified. Look up 'Victor Cacciari Miraldo' in GoogleThis author has not been identified. Look up 'Alejandro Serrano' in Google

runs on WebDSL