Security Type Error Diagnosis for Higher-Order Polymorphic Languages

J. Weijers, J. Hage, S. Holdermans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM '13)
Publisher	Association for Computing Machinery
Pages	3-12
Number of pages	10
Publication status	Published - 2013

Cite this

@inproceedings{c96776aa350d40cb9225037a3a301aa8,

title = "Security Type Error Diagnosis for Higher-Order Polymorphic Languages",

author = "J. Weijers and J. Hage and S. Holdermans",

note = "Workshop on Partial Evaluation and Program Manipulation",

year = "2013",

language = "English",

pages = "3--12",

booktitle = "Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM '13)",

publisher = "Association for Computing Machinery ",

address = "United States",

}

Security Type Error Diagnosis for Higher-Order Polymorphic Languages. / Weijers, J.; Hage, J.; Holdermans, S.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM '13). Association for Computing Machinery , 2013. p. 3-12.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Security Type Error Diagnosis for Higher-Order Polymorphic Languages

AU - Weijers, J.

AU - Hage, J.

AU - Holdermans, S.

N1 - Workshop on Partial Evaluation and Program Manipulation

PY - 2013

Y1 - 2013

M3 - Conference contribution

SP - 3

EP - 12

BT - Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM '13)

PB - Association for Computing Machinery

ER -