Security type error diagnosis for higher-order, polymorphic languages.

Jeroen Weijers, Jurriaan Hage, Stefan Holdermans

Browse the full PEPM paper archive.