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

Krishnaswami, N & Levy, P (eds) 2014, Proceedings 5th Workshop on Mathematically Structured Functional Programming. Electronic Proceedings in Theoretical Computer Science, vol. 153, vol. 153, Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/EPTCS.153

APA

Krishnaswami, N., & Levy, P. (Eds.) (2014). Proceedings 5th Workshop on Mathematically Structured Functional Programming. (Electronic Proceedings in Theoretical Computer Science; Vol. 153). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/EPTCS.153

Vancouver

Krishnaswami N, (ed.), Levy P, (ed.). Proceedings 5th Workshop on Mathematically Structured Functional Programming. Electronic Proceedings in Theoretical Computer Science, 2014. 167 p. (Electronic Proceedings in Theoretical Computer Science). https://doi.org/10.4204/EPTCS.153

Author

Krishnaswami, Neelakantan (Editor) ; Levy, Paul (Editor). / Proceedings 5th Workshop on Mathematically Structured Functional Programming. Electronic Proceedings in Theoretical Computer Science, 2014. 167 p. (Electronic Proceedings in Theoretical Computer Science).

Bibtex

@book{ebc5f9dbb3e14bf6a2a899fac79856e1,
title = "Proceedings 5th Workshop on Mathematically Structured Functional Programming",
editor = "Neelakantan Krishnaswami and Paul Levy",
year = "2014",
month = jun,
day = "5",
doi = "10.4204/EPTCS.153",
language = "English",
volume = "153",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Electronic Proceedings in Theoretical Computer Science",

}

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 -