Dependent Types and Fibred Computational Effects.

Danel Ahman, Neil Ghani, Gordon D. Plotkin

Browse the full FOSSACS paper archive.