Canonical Models for Computational Effects.

John Power

Browse the full FOSSACS paper archive.