Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
Security type error diagnosis for higher-order, polymorphic languages
PEPM, 2014.
@article{PEPM-J-2013-WeijersHH14,
author = "Jeroen Weijers and Jurriaan Hage and Stefan Holdermans",
doi = "10.1016/j.scico.2014.03.011",
journal = "{Science of Computer Programming}",
pages = "200--218",
title = "{Security type error diagnosis for higher-order, polymorphic languages}",
volume = 95,
year = 2014,
}