Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You
Modular reifiable matching: a list-of-functors approach to two-level types
Haskell, 2015.
@inproceedings{Haskell-2015-OliveiraMY, author = "Bruno C. d. S. Oliveira and Shin-Cheng Mu and Shu-Hung You", booktitle = "{Proceedings of the Eighth International Symposium on Haskell}", doi = "10.1145/2804302.2804315", isbn = "978-1-4503-3808-0", pages = "82--93", publisher = "{ACM}", title = "{Modular reifiable matching: a list-of-functors approach to two-level types}", year = 2015, }