Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic.

Marcelo P. Fiore, Makoto Hamana

Browse the full LICS paper archive.