Whip: higher-order contracts for modern services.
Lucas WayeStephen ChongChristos DimoulasPublished in: Proc. ACM Program. Lang. (2017)
Keyphrases
- higher order
- high order
- service oriented
- service composition
- natural images
- information services
- web services
- ubiquitous computing
- location aware
- pairwise
- service providers
- supply chain
- lambda calculus
- european project
- information society
- low order
- mobile services
- context aware
- similarity measure
- location information
- network services