Proceedings 5th Workshop on Mathematically Structured Functional Programming
Research output: Book/Report › Book
Standard
Proceedings 5th Workshop on Mathematically Structured Functional Programming. / Krishnaswami, Neelakantan (Editor); Levy, Paul (Editor).
Electronic Proceedings in Theoretical Computer Science, 2014. 167 p. (Electronic Proceedings in Theoretical Computer Science; Vol. 153).Research output: Book/Report › Book
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - BOOK
T1 - Proceedings 5th Workshop on Mathematically Structured Functional Programming
A2 - Krishnaswami, Neelakantan
A2 - Levy, Paul
PY - 2014/6/5
Y1 - 2014/6/5
U2 - 10.4204/EPTCS.153
DO - 10.4204/EPTCS.153
M3 - Book
VL - 153
T3 - Electronic Proceedings in Theoretical Computer Science
BT - Proceedings 5th Workshop on Mathematically Structured Functional Programming
PB - Electronic Proceedings in Theoretical Computer Science
ER -