Proceedings 5th Workshop on Mathematically Structured Functional Programming

Neelakantan Krishnaswami (Editor), Paul Levy (Editor)

Research output: Book/Report › Book

Original language	English
Publisher	Electronic Proceedings in Theoretical Computer Science
Number of pages	167
Volume	153
DOIs	https://doi.org/10.4204/EPTCS.153
Publication status	Published - 5 Jun 2014

Name	Electronic Proceedings in Theoretical Computer Science
Volume	153
ISSN (Electronic)	2075-2180

Access to Document

@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",

}

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 -