Proceedings 5th Workshop on Mathematically Structured Functional Programming

Research output: Book/ReportBook

Authors

Colleges, School and Institutes

Details

Original languageEnglish
PublisherElectronic Proceedings in Theoretical Computer Science
Number of pages167
Volume153
Publication statusPublished - 5 Jun 2014

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume153
ISSN (Electronic)2075-2180