Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016

Bob Atkey (Editor), Neelakantan R. Krishnaswami (Editor)

Research output: Book/ReportAnthology

Fingerprint

Dive into the research topics of 'Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science