The Essence of Form Abstraction

Authors:
Ezra Cooper;Sam Lindley;Philip Wadler;Jeremy Yallop
Affiliations:
School of Informatics, University of Edinburgh,;School of Informatics, University of Edinburgh,;School of Informatics, University of Edinburgh,;School of Informatics, University of Edinburgh,
Venue:
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Year:
2008

Citing 21
Cited 3

Computational lambda-calculus and monads

Proceedings of the Fourth Annual Symposium on Logic in computer science
Generalising monads to arrows

Science of Computer Programming - Special issue on mathematics of program construction
Static validation of dynamically generated HTML

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
The marriage of effects and monads

ACM Transactions on Computational Logic (TOCL)
Programming the Web with High-Level Programming Languages

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Monads and Effects

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Monads for Functional Programming

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
XDuce: A statically typed XML processing language

ACM Transactions on Internet Technology (TOIT)
Extending Java for high-level Web service construction

ACM Transactions on Programming Languages and Systems (TOPLAS)
A typed representation for HTML and XML documents in Haskell

Journal of Functional Programming
An embedded domain-specific language for type-safe server-side web scripting

ACM Transactions on Internet Technology (TOIT)
Type-oriented construction of web user interfaces

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Ocsigen: typing web interaction with objective Caml

Proceedings of the 2006 workshop on ML
Putting declarative programming into the web: translating curry to javascript

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
iTasks: executable specifications of interactive work flow systems for the web

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Applicative programming with effects

Journal of Functional Programming
Many holes in hindley-milner

Proceedings of the 2008 ACM SIGPLAN workshop on ML
Links: web programming without tiers

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
iData for the world wide web – programming interconnected web forms

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
The design space of type checkers for XML transformation languages

ICDT'05 Proceedings of the 10th international conference on Database Theory
Parameterised notions of computation

MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming

Many holes in hindley-milner

Proceedings of the 2008 ACM SIGPLAN workshop on ML
Composing reactive GUIs in F# using WebSharper

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
JavaScript as an embedded DSL

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

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.