Free theorems involving type constructor classes
From MaRDI portal
Publication:2936814
DOI10.1145/1596550.1596577zbMath1302.68094MaRDI QIDQ2936814
Publication date: 6 January 2015
Published in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1596550.1596577
68N18: Functional programming and lambda calculus
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Refined typing to localize the impact of forced strictness on free theorems, Proofs for free, Fusion for Free, Parametricity, type equality, and higher-order polymorphism
Uses Software