13734 search results - page 26 / 2747 » Abstractions of data types |
106
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
FOCS
1993
IEEE
15 years 7 months ago
1993
IEEE
d Abstract) Peter Clote A. Ignjatovicy B. Kapronz
191
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
