Context

Context of MSFP'10 : proceedings of the 2010 ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, September 25, 2010 Baltimore, Maryland, USA, general chairs Venanzio Capretta, James Chapman ; sponsored by ACM SIGPLAN, (electronic resource)
Processing Feedback ...