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]

Authors

Marko van Dooren

This author has not been identified. Look up 'Marko van Dooren' in Google

Bart Jacobs 0002

This author has not been identified. Look up 'Bart Jacobs 0002' in Google

Wouter Joosen

This author has not been identified. Look up 'Wouter Joosen' in Google