The Essence of Form Abstraction

Ezra Cooper; Sam Lindley; Philip Wadler; Jeremy Yallop

doi:10.1007/978-3-540-89330-1_15

The Essence of Form Abstraction

Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

Abstraction is the cornerstone of high-level programming; HTML forms are the principal medium of web interaction. However, most web programming environments do not support abstraction of form components,
leading to a lack of compositionality. Using a semantics based on idioms, we show how to support compositional form construction and give a convenient syntax.

Original language	English
Title of host publication	Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
Pages	205-220
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-540-89330-1_15
Publication status	Published - 2008

Access to Document

10.1007/978-3-540-89330-1_15

Cooper Lindley ET AL 2008 The Essence of Form AbstractionAccepted author manuscript, 205 KB

http://dx.doi.org/10.1007/978-3-540-89330-1_15

Cite this

@inproceedings{bf97a07e6ef94aa8ab61cdacb2993d47,

title = "The Essence of Form Abstraction",

abstract = "Abstraction is the cornerstone of high-level programming; HTML forms are the principal medium of web interaction. However, most web programming environments do not support abstraction of form components,leading to a lack of compositionality. Using a semantics based on idioms, we show how to support compositional form construction and give a convenient syntax.",

author = "Ezra Cooper and Sam Lindley and Philip Wadler and Jeremy Yallop",

year = "2008",

doi = "10.1007/978-3-540-89330-1_15",

language = "English",

pages = "205--220",

booktitle = "Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings",

}

TY - GEN

T1 - The Essence of Form Abstraction

AU - Cooper, Ezra

AU - Lindley, Sam

AU - Wadler, Philip

AU - Yallop, Jeremy

PY - 2008

Y1 - 2008

N2 - Abstraction is the cornerstone of high-level programming; HTML forms are the principal medium of web interaction. However, most web programming environments do not support abstraction of form components,leading to a lack of compositionality. Using a semantics based on idioms, we show how to support compositional form construction and give a convenient syntax.

AB - Abstraction is the cornerstone of high-level programming; HTML forms are the principal medium of web interaction. However, most web programming environments do not support abstraction of form components,leading to a lack of compositionality. Using a semantics based on idioms, we show how to support compositional form construction and give a convenient syntax.

U2 - 10.1007/978-3-540-89330-1_15

DO - 10.1007/978-3-540-89330-1_15

M3 - Conference contribution

SP - 205

EP - 220

BT - Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

ER -

The Essence of Form Abstraction

Abstract / Description of output

Access to Document

Fingerprint

Cite this