J
Johan Jeuring
7 works on record
Works
Advanced functional programming
Generic programming
Intelligent Computer Mathematics
Mathematics of Program Construction
Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming
Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming
ICFP'13
ICFP'13
Icfp'14
Icfp'14