Modular type checking of anchored exception declarations

Marko van Dooren, Bart Jacobs 0002, Wouter Joosen. Modular type checking of anchored exception declarations. Science of Computer Programming, 87:44-61, 2014. [doi]

Abstract

Abstract is missing.