High-level views on low-level representations

DOI10.1145/1086365.1086387zbMATH Open1302.68049OpenAlexW2161780258MaRDI QIDQ2936780FDOQ2936780

Authors: Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie 

Publication date: 6 January 2015

Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1086365.1086387

Recommendations

• scientific article; zbMATH DE number 1696584
• Type-safe pattern combinators
• Mathematics of Program Construction
• The essence of functional programming on semantic data
• scientific article; zbMATH DE number 1630114

zbMATH Keywords

pattern matchingdata representationpolymorphismviewsbit manipulationbitdatabitfieldsqualified types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

This page was built for publication: High-level views on low-level representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936780)