Media type: E-Book; Conference Proceedings Title: ICFP 2017 Adjunct Proceedings Contributor: Gibbons, Jeremy [VerfasserIn] Corporation: Association for Computing Machinery-Digital Library ; ACM Special Interest Group on Programming Languages imprint: New York, NY: ACM, 2017 Published in: ACM Digital Library Extent: 1 online resource (36 pages) Language: English ISBN: 9781450355605 Keywords: Computer science ; Konferenzschrift Origination: Footnote: