A typed representation for HTML and XML documents in Haskell (2001)

Cached

Download Links

by Peter Thiemann
Venue:Journal of Functional Programming
Citations:38 - 0 self

Active Bibliography

20 Modeling HTML in Haskell – Peter Thiemann
62 WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms – Peter Thiemann - 2002
10 An embedded domain-specific language for type-safe server-side web-scripting – Peter Thiemann - 2005
51 Server Side Web Scripting in Curry – Michael Hanus - 2000
177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
6 Functional Programming With Dynamic Binding – Laurent Dami - 1995
34 Type-Indexed Rows – Mark Shields, Erik Meijer - 2001
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
5 Type Classes With More Higher-Order Polymorphism – Matthias Neubauer, Peter Thiemann - 2002
Type Inference for Multi-Parameter Type Classes – Martin Sulzmann, Peter J. Stuckey
Object-Oriented Style Overloading for Haskell (Extended Abstract) – Mark Shields, Simon Peyton Jones - 2001
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM – Dimitrios Vytiniotis - 2008
Programming Systems – Andreas Rossberg, Martin Sulzmann
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
13 Object-oriented style overloading for Haskell – Mark Shields, Simon Peyton Jones - 2001
1 Design, Languages – J. Garrett, Morris Mark, P. Jones