Modeling Web Interactions

This publication has 11 references indexed in Scilit:

• WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
  Published by Springer Nature ,2001
• Programming the Web with High-Level Programming Languages
  Published by Springer Nature ,2001
• The influence of browsers on evaluators or, continuations to program web servers
  Published by Association for Computing Machinery (ACM) ,2000
• Generalising monads to arrows
  Science of Computer Programming, 2000
• A type system for dynamic Web documents
  Published by Association for Computing Machinery (ACM) ,2000
• A runtime system for interactive Web services
  Computer Networks, 1999
• Mawl: a domain-specific language for form-based services
  IEEE Transactions on Software Engineering, 1999
• Type systems
  ACM Computing Surveys, 1996
• The revised report on the syntactic theories of sequential control and state
  Theoretical Computer Science, 1992
• Type checking records and variants in a natural extension of ML
  Published by Association for Computing Machinery (ACM) ,1989