The Essence of Form Abstraction

* Final gross prices may vary according to local VAT.

Get Access


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.