|
1
|
Towards Valid XML Applications
– Martin Kempa, Volker Linnemann
- 2002
|
|
1
|
XML-Fluent Mobile Agents
– Santiago M. Pericas-Geertsen, Buenos Aires, Assaf J. Kfoury, Ph. D
- 1999
|
|
1
|
1.0 the extensible hypertext markup language (second edition
– W3C XHTMLTM
- 2002
|
|
3
|
A Type-Disciplined Approach to Developing Resources and Applications for the World-Wide Web
– A D Bradley
- 2004
|
|
37
|
A typed representation for HTML and XML documents in Haskell
– Peter Thiemann
- 2001
|
|
19
|
Modeling HTML in Haskell
– Peter Thiemann
|
|
28
|
Static Validation of Dynamically Generated HTML
– Claus Brabrand, Anders Møller, Michael I. Schwartzbach
- 2001
|
|
50
|
XML: Generic Combinators or TypeBased Translation
– Haskell
- 1999
|
|
31
|
1.0 The Extensible HyperText Markup Language (Second Edition
– W3C XHTML
- 2002
|
|
122
|
XDuce: A Typed XML Processing Language
– Haruo Hosoya, Benjamin C. Pierce
- 2000
|
|
27
|
A type system for dynamic web documents
– Anders S, Michael I. Schwartzbach
- 2000
|
|
65
|
Extensible Markup Language (XML
– W3C
- 2000
|
|
119
|
Extensible Markup Language (XML) 1.0
– Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Wc Recommendation -feb, Tim Bray Textuality, Jean Paoli Microsoft
- 1998
|
|
41
|
Programming the web: An applicationoriented language for hypermedia service programming
– D A Ladd, J C Ramming
- 1995
|
|
822
|
Term rewriting and All That
– F Baader, T Nipkow
- 1998
|
|
5
|
Lessons learned in implementing and deploying crypto software
– P Gutmann
- 2002
|
|
2
|
Strong Dependency: A Formalism for Describing Information Transmission in Computational Systems
– E Cohen
- 1976
|
|
1
|
Department of Defense Trusted Computer System Evaluation Criteria
– Sheila L Brand
- 1985
|
|
1
|
Jeddak: Type-based support for policy-based secure programming
– Tom Chothia, Dominic Duggan, Ye Wu, Jan Vitek
- 2007
|
