Modular reifiable matching: a list-of-functors approach to two-level types.

Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You

Browse the full HASKELL paper archive.