From post

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

A Symmetric Modal Lambda Calculus for Distributed Computing.

T. VII, K. Crary, R. Harper, и F. Pfenning. LICS, стр. 286-295. IEEE Computer Society, (2004)

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.

Programming with Recursion SchemesD. Wang, и T. VII. (2002)undefined.Trustless Grid Computing in ConCert.B. Chang, K. Crary, M. DeLap, R. Harper, J. Liszka, T. VII, и F. Pfenning. GRID, том 2536 из Lecture Notes in Computer Science, стр. 112-125. Springer, (2002)Type-Safe Distributed Programming with ML5.T. VII, K. Crary, и R. Harper. TGC, том 4912 из Lecture Notes in Computer Science, стр. 108-123. Springer, (2007)ML grid programming with ConCert.T. VII. ML, стр. 2-11. ACM, (2006)A separate compilation extension to standard ML.D. Swasey, T. VII, K. Crary, и R. Harper. ML, стр. 32-42. ACM, (2006)Distributed Control Flow with Classical Modal Logic.T. VII, K. Crary, и R. Harper. CSL, том 3634 из Lecture Notes in Computer Science, стр. 51-69. Springer, (2005)A Symmetric Modal Lambda Calculus for Distributed Computing.T. VII, K. Crary, R. Harper, и F. Pfenning. LICS, стр. 286-295. IEEE Computer Society, (2004)