From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Explicit Secrecy: A Policy for Taint Tracking.

D. Schoepe, M. Balliu, B. Pierce, и A. Sabelfeld. EuroS&P, стр. 15-30. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Local type inferenceB. Pierce, и D. Turner. ACM Trans. Program. Lang. Syst., 22 (1): 1-44 (января 2000)Basic category theory for computer scientists.B. Pierce. Foundations of computing MIT Press, (1991)Pict: a programming language based on the Pi-Calculus.B. Pierce, и D. Turner. Proof, Language, and Interaction, стр. 455-494. The MIT Press, (2000)XTATIC.V. Gapeyev, M. Levin, B. Pierce, и A. Schmitt. PLAN-X, стр. 88. BRICS, Department of Computer Science, University of Aarhus, (2006)Higher-Order Subtyping.M. Steffen, и B. Pierce. PROCOMET, том A-56 из IFIP Transactions, стр. 511-530. North-Holland, (1994)Advanced Topics in Types and Programming LanguagesB. Pierce. MIT Press, 1 издание, (23.12.2005)Comparing Object Encodings.K. Bruce, L. Cardelli, и B. Pierce. TACS, том 1281 из Lecture Notes in Computer Science, стр. 415-438. Springer, (1997)Harmony: The Art of Reconciliation.B. Pierce. TGC, том 3705 из Lecture Notes in Computer Science, стр. 1. Springer, (2005)A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.J. Foster, B. Pierce, и A. Schmitt. PLAN-X, стр. 80-90. (2007)Proof Assistants as Teaching Assistants: A View from the Trenches.B. Pierce. ITP, том 6172 из Lecture Notes in Computer Science, стр. 8. Springer, (2010)