Thorsten Altenkirch , James Chapman
July 2006
Workshop on Mathematically Structured Functional Programming (MSFP 2006) (MSFP)
Mathematically Structured Functional Programming
2 July 2006
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/