@InProceedings{hull_et_al:DagSemProc.07051.2, author = {Hull, Richard and Thiemann, Peter and Wadler, Philip}, title = {{07051 Executive Summary – Programming Paradigms for the Web: Web Programming and Web Services}}, booktitle = {Programming Paradigms for the Web: Web Programming and Web Services}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7051}, editor = {Richard Hull and Peter Thiemann and Philip Wadler}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07051.2}, URN = {urn:nbn:de:0030-drops-11259}, doi = {10.4230/DagSemProc.07051.2}, annote = {Keywords: Web programming, web services, programming paradigms, analysis and verification, implementation techniques and optimizations} }