From post

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

XQuery 1.0 and XPath 2.0 Formal Semantics

D. Draper, P. Fankhauser, M. Fernández, A. Malhotra, K. Rose, M. Rys, J. Siméon, и P. Wadler. World Wide Web Consortium, Recommendation REC-xquery-semantics-20070123, (января 2007)

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.

Java Generics and CollectionsM. Naftalin, и P. Wadler. O'Reilly Media, Inc., (октября 2006)How to Make ad-hoc Polymorphism Less ad-hoc.P. Wadler, и S. Blott. POPL, стр. 60-76. ACM Press, (1989)Once Upon a Type.D. Turner, P. Wadler, и C. Mossin. FPCA, стр. 1-11. ACM, (1995)The Girard-Reynolds Isomorphism.P. Wadler. TACS, том 2215 из Lecture Notes in Computer Science, стр. 468-491. Springer, (2001)The Extended UTXO Model.M. Chakravarty, J. Chapman, K. MacKenzie, O. Melkonian, M. Jones, и P. Wadler. Financial Cryptography Workshops, том 12063 из Lecture Notes in Computer Science, стр. 525-539. Springer, (2020)Towards Races in Linear Logic.W. Kokke, J. Morris, и P. Wadler. Log. Methods Comput. Sci., (2020)Strictness Analysis Aids Time Analysis.P. Wadler. POPL, стр. 119-132. ACM Press, (1988)How to Declare an Imperative.P. Wadler. ILPS, стр. 18-32. MIT Press, (1995)GATE: Gradual Effect Types.P. Wadler. ISoLA, том 13036 из Lecture Notes in Computer Science, стр. 335-345. Springer, (2021)A Formal Semantics of Patterns in XSLT and XPath.P. Wadler. Markup Languages, 2 (2): 183-202 (2000)