From post

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

Exploiting Schemas in Data Synchronization.

J. Foster, M. Greenwald, C. Kirkegaard, B. Pierce, и A. Schmitt. DBPL, том 3774 из Lecture Notes in Computer Science, стр. 42-57. Springer, (2005)

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.

A Record Calculus Based on Symmetric Concatenation.R. Harper, и B. Pierce. POPL, стр. 131-142. ACM Press, (1991)The essence of objects.B. Pierce. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 69-71 (2000)Explicit Secrecy: A Policy for Taint Tracking.D. Schoepe, M. Balliu, B. Pierce, и A. Sabelfeld. EuroS&P, стр. 15-30. IEEE, (2016)Reflecting on Random Generation.H. Goldstein, S. Frohlich, M. Wang, и B. Pierce. Proc. ACM Program. Lang., 7 (ICFP): 322-355 (августа 2023)Featherweight Firefox: Formalizing the Core of a Web Browser.A. Bohannon, и B. Pierce. WebApps, USENIX Association, (2010)A Taste of Category Theory for Computer ScientistsB. Pierce. CMU-CS-88-203. Computer Science Department, Carnegie Mellon University, (1988)On Inner Classes.A. Igarashi, и B. Pierce. ECOOP, том 1850 из Lecture Notes in Computer Science, стр. 129-153. Springer, (2000)Concurrent Objects in a Process Calculus.B. Pierce. Theory and Practice of Parallel Programming, том 907 из Lecture Notes in Computer Science, стр. 187-215. Springer, (1994)A Formal Investigation of.S. Khanna, K. Kunal, и B. Pierce. FSTTCS, том 4855 из Lecture Notes in Computer Science, стр. 485-496. Springer, (2007)Regular Object Types.V. Gapeyev, и B. Pierce. ECOOP, том 2743 из Lecture Notes in Computer Science, стр. 151-175. Springer, (2003)