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

^*Corresponding author for this work

University of Edinburgh

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

17 Citations (Scopus)

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.

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	APLAS 2008
Publisher	Springer
Pages	205-220
Number of pages	16
ISBN (Electronic)	9783540893301
ISBN (Print)	9783540893295
DOIs	https://doi.org/10.1007/978-3-540-89330-1_15
Publication status	Published - 2008
Event	6th Asian Symposium on Programming Languages and Systems 2008 - Bangalore, India Duration: 9 Dec 2008 → 11 Dec 2008

Publication series

Name	Lecture Notes in Computer Science
Volume	5356
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th Asian Symposium on Programming Languages and Systems 2008
Abbreviated title	APLAS 2008
Country/Territory	India
City	Bangalore
Period	9/12/08 → 11/12/08

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

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

Cite this

@inproceedings{02e5ba5af52c44278d531f1da45c8b47,

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",

isbn = "9783540893295",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "205--220",

booktitle = "Programming Languages and Systems",

note = "6th Asian Symposium on Programming Languages and Systems 2008, APLAS 2008 ; Conference date: 09-12-2008 Through 11-12-2008",

}

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.

UR - http://www.scopus.com/inward/record.url?scp=58549089182&partnerID=8YFLogxK

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

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

M3 - Conference contribution

AN - SCOPUS:58549089182

SN - 9783540893295

T3 - Lecture Notes in Computer Science

SP - 205

EP - 220

BT - Programming Languages and Systems

PB - Springer

T2 - 6th Asian Symposium on Programming Languages and Systems 2008

Y2 - 9 December 2008 through 11 December 2008

ER -

The essence of form abstraction

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this