Typing XHTML web applications in ML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3057, Issue , 2004, Pages 224-238

  Elsman, Martin ^a   Larsen, Ken Friis ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

MULTITHREADED; STANDARD ML; TYPE SYSTEMS; WEB APPLICATION; WEB SERVERS;

ARTIFICIAL INTELLIGENCE;

EID: 84974688501     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24836-1_16     Document Type: Conference Paper

References (23)

1. M. Blume. No-longer-foreign: Teaching an ML compiler to speak C “natively”. In Workshop on Multi-language Infrastructure and Interoperability, September 2001.
2. C. Brabrand, A. Møller, and M. Schwartzbach. Static validation of dynamically generated HTML. In Workshop on Program Analysis for Software Tools and Engineering, June 2001.
3. C. Brabrand, A. Møller, and M. Schwartzbach. The project. Transactions on Internet Technology, 2(2):79-114, 2002.
4. A. Christensen, A. Møller, and M. Schwartzbach. Extending Java for high-level Web service construction. Transactions on Programming Languages and Systems, 25(6), November 2003.
5. M. Elsman and N. Hallenberg. Web programming with SMLserver. In Int. Symposium on Practical Aspects of Declarative Languages, January 2003.
6. M. Elsman and K. F. Larsen. Typing XHTML web applications in SMLserver. Technical Report ITU-TR-2003-34, IT University of Copenhagen, Denmark, 2003.
7. S. Finne, D. Leijen, E. Meijer, and S. Peyton Jones. Calling hell from heaven and heaven from hell. In Int. Conference on Functional programming, 1999.
8. M. Fluet and R. Pucella. Phantom types and subtyping. In Int. Conference on Theoretical Computer Science, August 2002.
9. D. Fridlender and M. Indrika. Functional pearl: Do we need dependent types? Journal of Functional Programming, 10(4):409-415, July 2000.
10. P. Graunke, R. Findler, S. Krishnamurthi, and M. Felleisen. Modeling web interactions. In European Symposium On Programming, April 2003.
11. P. Graunke, S. Krishnamurthi, R. Findler, and M. Felleisen. Automatically restructuring programs for the Web. In Int. Conference on Automated Software Engineering, September 2001.
12. C. V. Hall, K. Hammond, S. Peyton Jones, and P. Wadler. Type classes in Haskell. Transactions on Programming Languages and Systems, 18(2):109-138, 1996.
13. D. Leijen and E. Meijer. Domain specific embedded compilers. In Conference on Domain-specific languages, 2000.
14. C. McBride. Faking it: Simulating dependent types in Haskell. Journal of Functional Programming, 12(4&5):375-392, July 2002.
15. E. Meijer. Server side Web scripting in Haskell. Journal of Functional Programming, 10(1):1-18, January 2000.
16. C. Queinnec. The influence of browsers on evaluators or, continuations to program Web servers. In Int. Conference on Functional Programming, September 2000.
17. A. Sandholm and M. Schwartzbach. A type system for dynamic Web documents. In Symposium on Principles of Programming Languages, January 2000.
18. P. Thiemann. Programmable type systems for domain specific languages. In Workshop on Functional and Logic Programming, June 2002.
19. P. Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(4&5):435-468, July 2002.
20. P. Thiemann. Wash/CGI: Server-side Web scripting with sessions and typed, compositional forms. In Conference on Practical Aspects of Declarative Languages, January 2002.
21. W3C. XHTMLTM 1.0: The extensible hypertext markup language, January 2000.
22. Second Edition. Revised August 2002. http://www.w3.org/TR/xhtml1.
23. Z. Yang. Encoding types in ML-like languages. In Int. Conference on Functional Programming, September 1998.