Brent A. Yorgey, Kenneth Foner
What's the difference? a functional pearl on subtracting bijections
ICFP, 2018.
@article{ICFP-2018-YorgeyF, author = "Brent A. Yorgey and Kenneth Foner", doi = "10.1145/3236796", journal = "{Proceedings of the ACM on Programming Languages}", number = "ICFP", pages = "21", title = "{What's the difference? a functional pearl on subtracting bijections}", volume = 2, year = 2018, }