The Essence of Form Abstraction

Programming Languages and Systems

View/Open
Date
2008
Author
Cooper, Ezra
Lindley, Sam
Wadler, Philip
Yallop, Jeremy
Metadata
Show full item record
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. Supported by EPSRC grant number EP/D046769/1.
URI

Collections