Chapter

Programming Languages and Systems

Volume 5356 of the series Lecture Notes in Computer Science pp 205-220

The Essence of Form Abstraction

  • Ezra CooperAffiliated withSchool of Informatics, University of Edinburgh
  • , Sam LindleyAffiliated withSchool of Informatics, University of Edinburgh
  • , Philip WadlerAffiliated withSchool of Informatics, University of Edinburgh
  • , Jeremy YallopAffiliated withSchool of Informatics, University of Edinburgh

* Final gross prices may vary according to local VAT.

Get Access

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.