ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Haskell type browser
Full text PdfPdf (79 KB)
Source Haskell archive
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell table of contents
Snowbird, Utah, USA
Pages: 92 - 93  
Year of Publication: 2004
ISBN:1-58113-850-4
Authors
Matthias Neubauer  Universität Freiburg
Peter Thiemann  Universität Freiburg
Sponsors
SIGPLAN: ACM Special Interest Group on Programming Languages
ACM: Association for Computing Machinery
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 3,   Downloads (12 Months): 35,   Citation Count: 1
Additional Information:

references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1017472.1017474
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
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
Matthias Neubauer , Peter Thiemann, Discriminative sum types locate the source of type errors, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, p.15-26, August 25-29, 2003, Uppsala, Sweden
 
6
Martin Odersky , Martin Sulzmann , Martin Wehr, Type inference with constrained types, Theory and Practice of Object Systems, v.5 n.1, p.35-55, Jan. 1999  [doi>10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4]
 
7
XHTML 1.0: The extensible hypertext markup language. http://www.w3.org/TR/xhtml1, Jan. 2000.

CITED BY
Krasimir Angelov , Simon Marlow, Visual haskell: a full-featured haskell development environment, Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, p.5-16, September 30-30, 2005, Tallinn, Estonia

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Applicative (functional) languages

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Polymorphism

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.3 Studies of Program Constructs
          Subjects: Type structure


General Terms:
Languages


Keywords:
debugging, haskell, polymorphism, type errors, type inference

Collaborative Colleagues:
Matthias Neubauer: colleagues
Peter Thiemann: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player