Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.

Chiyan Chen, Dengping Zhu, Hongwei Xi

Browse the full PADL paper archive.