Type inference for recursive definitions (1999)

by Assaf J. Kfoury , Santiago M. Pericás-geertsen
Venue:In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci
Citations:2 - 1 self

Documents Related by Co-Citation

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
27 A type system for dynamic web documents – Anders S, Michael I. Schwartzbach - 2000
20 Modeling HTML in Haskell – Peter Thiemann
38 A typed representation for HTML and XML documents in Haskell – Peter Thiemann - 2001
3 A Type-Disciplined Approach to Developing Resources and Applications for the World-Wide Web – A D Bradley - 2004
51 and XML: Generic combinators or type-based translation – Haskell - 1999
42 Programming the Web: An application-oriented language for hypermedia service programming – D A Ladd, J C Ramming - 1995
130 Extensible Markup Language (XML) 1.0 – Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Wc Recommendation -feb, Tim Bray Textuality, Jean Paoli Microsoft - 1998
127 XDuce: A Typed XML Processing Language – Haruo Hosoya, Benjamin C. Pierce - 2000
36 1.0: The extensible hypertext markup language (second edition – W3C XHTML - 2002
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
69 Extensible markup language (xml – W3C - 2004
28 Static Validation of Dynamically Generated HTML – Claus Brabrand, Anders Møller, Michael I. Schwartzbach - 2001
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
1 A secure poker protocol that minimizes the effect of players coalitions – C Crpeau - 1986