Embedding invertible languages with binders: a case of the FliPpr language.

Kazutaka Matsuda, Meng Wang

Browse the full HASKELL paper archive.