The Essence of Form Abstraction

  • Ezra Cooper
  • Sam Lindley
  • Philip Wadler
  • Jeremy Yallop
Conference paper

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5356)
Cite this paper as:
Cooper E., Lindley S., Wadler P., Yallop J. (2008) The Essence of Form Abstraction. In: Ramalingam G. (eds) Programming Languages and Systems. APLAS 2008. Lecture Notes in Computer Science, vol 5356. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Ezra Cooper
    • 1
  • Sam Lindley
    • 1
  • Philip Wadler
    • 1
  • Jeremy Yallop
    • 1
  1. 1.School of InformaticsUniversity of EdinburghUK

Personalised recommendations