Luca Cardelli Rowan Davies Service Combinators for Web Computing. 1-10 1997 conf/dsl/1997 DSL http://www.usenix.org/publications/library/proceedings/dsl97/cardelli.html db/conf/dsl/dsl1997.html#CardelliD97