2 papers
cs.CR2004
Validating a Web Service Security Abstraction by Typing
Andrew D. Gordon, Riccardo Pucella
An XML web service is, to a first approximation, an RPC service in which requests and responses are encoded in XML as SOAP envelopes, and transported over HTTP. We consider the pro…
cs.PL2004
Phantom Types and Subtyping
Matthew Fluet, Riccardo Pucella
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mod…