The Essence of Form Abstraction
Programming Languages and Systems
Date
2008Author
Cooper, Ezra
Lindley, Sam
Wadler, Philip
Yallop, Jeremy
Metadata
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.