Typing XHTML Web Applications in ML
作者： Martin Elsman , Ken Friis Larsen
DOI: 10.1007/978-3-540-24836-1_16
关键词:
摘要: In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded server platform Standard ML scriptlets. The guarantees that only conforming XHTML documents are sent to clients and forms used consistently type-safe way. is encoded the of using so-called phantom types.
springer.com
core.ac.uk
diku.dk参考文章(22)
Ken Friis Larsen, Martin Elsman, Typing XHTML Web Applications in SMLserver ,(2003)
Peter Thiemann, WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms practical aspects of declarative languages. pp. 192- 208 ,(2002) , 10.1007/3-540-45587-6_13
Martin Elsman, Niels Hallenberg, Web Programming with SMLserver practical aspects of declarative languages. pp. 74- 91 ,(2003) , 10.1007/3-540-36388-2_7
Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen, Modeling web interactions european symposium on programming. pp. 238- 252 ,(2003) , 10.1007/3-540-36575-3_17
Matthew Fluet, Riccardo Pucella, Phantom Types and Subtyping ifip international conference on theoretical computer science. pp. 448- 460 ,(2002) , 10.1007/978-0-387-35608-2_37
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach, Extending Java for high-level Web service construction ACM Transactions on Programming Languages and Systems. ,vol. 25, pp. 814- 875 ,(2003) , 10.1145/945885.945890
CONOR McBRIDE, Faking it Simulating dependent types in Haskell Journal of Functional Programming. ,vol. 12, pp. 375- 392 ,(2002) , 10.1017/S0956796802004355
ERIK MEIJER, Server side web scripting in Haskell Journal of Functional Programming. ,vol. 10, pp. 1- 18 ,(2000) , 10.1017/S0956796899003561
Christian Queinnec, The influence of browsers on evaluators or, continuations to program web servers international conference on functional programming. ,vol. 35, pp. 23- 33 ,(2000) , 10.1145/351240.351243
Zhe Yang, Encoding types in ML-like languages international conference on functional programming. ,vol. 34, pp. 289- 300 ,(1998) , 10.1145/289423.289458