Demonstration abstract: Haskell type browser

Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04

Volumn , Issue , 2004, Pages 92-93

  Neubauer, Matthias ^a   Thiemann, Peter ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Debugging; Haskell; Polymorphism; Type Errors; Type Inference

Indexed keywords

HASKELL; POLYMORPHISM; TYPE ERRORS; TYPE INFERENCE;

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; ERROR DETECTION; HTML; PROGRAM DEBUGGING; SYNTACTICS;

WEB BROWSERS;

EID: 11244253838     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. ECMAScript Language Specification. http://www. ecma-international.org/ publications/files/ ECMA-ST/Ecma-262.pdf, Dec. 1999. ECMA International, ECMA-262, 3rd edition.
2. The Glasgow Haskell compiler, http://www.haskell.org/ ghc/.
3. M. P. Jones, "typing Haskell in Haskell. In E. Meijer, editor, Proceedings of the 1999 Haskell Workshop, number UU-CS-1999-28 in Technical Reports, 1999. ftp://ftp.cs.uu.nl/ pub/RUU/CS/techreps/CS-1999/1999-28.pdf.
4. S. Marlow, S. Panne, and N. Winstanley. hsparser: The 100% pure Haskell parser, 1998. http://www.pms.informatik. uni-muenchen.de/mitarbeiter/panne/ haskell_libs/ hsparser.html.
5. M. Neubauer and P. Thiemann. Discriminative sum types locate the source of type errors. In O. Shivers, editor, Proc. International Conference on Functional Programming 2003, pages 15-26, Uppsala, Sweden, Aug. 2003. ACM Press, New York.
6. M. Odersky, M. Sulzmann, and M. Wehr. Type inference with constrained types. Theory and Practice of Object Systems, 5(1):35-55, 1999.
7. XHTML 1.0: The extensible hypertext markup language. http://www.w3.org/ TR/xhtml1, Jan. 2000.