skip to main content
10.1145/1111037.1111058acmconferencesArticle/Chapter ViewAbstractPublication PagespoplConference Proceedingsconference-collections
Article

Stratified type inference for generalized algebraic data types

Published:11 January 2006Publication History

ABSTRACT

Stratified type inference for generalized algebraic data types.

References

  1. James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Haskell workshop, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. James Cheney and Ralf Hinze. First-class phantom types. Technical Report 1901, Cornell University, 2003.Google ScholarGoogle Scholar
  3. Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type erasure semantics. Journal of Functional Programming, 12(6):567--600, November 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Fritz Henglein. Type inference with polymorphic recursion. ACM Transactions on Programming Languages and Systems, 15(2):253--289, April 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Ralf Hinze. Fun with phantom types. In Jeremy Gibbons and Oege de~Moor, editors, The Fun of Programming, pages 245--262. Palgrave Macmillan, March 2003.Google ScholarGoogle Scholar
  6. Gérard Huet. Résolution d'équations dans des langages d'ordre 1, 2, .., ω. PhD thesis, Université Paris 7, September 1976.Google ScholarGoogle Scholar
  7. Martin Odersky, Martin Sulzmann, and Martin Wehr. Type inference with constrained types. Theory and Practice of Object Systems, 5(1):35--55, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Martin Odersky, Matthias Zenger, and Christoph Zenger. Colored local type inference. In ACM Symposium on Principles of Programming Languages (POPL), pages 41--53, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Christine Paulin-Mohring. Inductive definitions in the system Coq: rules and properties. Research Report RR1992-49, ENS Lyon, 1992.Google ScholarGoogle Scholar
  10. Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark Shields. Practical type inference for arbitrary-rank types. Manuscript, July 2005.Google ScholarGoogle Scholar
  11. Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalised algebraic data types. Manuscript, July 2004.Google ScholarGoogle Scholar
  12. Benjamin C. Pierce and David N. Turner. Local type inference. ACM Transactions on Programming Languages and Systems, 22(1):1--44, January 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. François Pottier and Nadji Gauthier. Polymorphic typed defunctionalization. In ACM Symposium on Principles of Programming Languages (POPL), pages 89--98, January 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. François Pottier and Yann Régis-Gianas. Towards efficient, typed LR parsers. Manuscript, April 2005.Google ScholarGoogle Scholar
  15. François Pottier and Didier Rémy. The essence of ML type inference. In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 10, pages 389--489. MIT Press, 2005.Google ScholarGoogle Scholar
  16. Yann Régis-Gianas. A prototype typechecker for ML with generalized algebraic data types. http://cristal.inria.fr/~regisgia/software/, July 2005.Google ScholarGoogle Scholar
  17. Didier Rémy. Simple, partial type inference for system $F$ based on type containment. In ACM International Conference on Functional Programming (ICFP), September 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Tim Sheard. Languages of the future. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 116--119, October 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Tim Sheard and Emir Pašaliý. Meta-programming with built-in type equality. In Workshop on Logical Frameworks and Meta-Languages (LFM), July 2004.Google ScholarGoogle Scholar
  20. Vincent Simonet and François Pottier. Constraint-based type inference for guarded algebraic data types. Research Report 5462, INRIA, January 2005.Google ScholarGoogle Scholar
  21. Peter J. Stuckey and Martin Sulzmann. Type inference for guarded recursive data types. Manuscript, February 2005.Google ScholarGoogle Scholar
  22. Sergei G. Vorobyov. An improved lower bound for the elementary theories of trees. In International Conference on Automated Deduction (CADE), volume 1104 of Lecture Notes in Computer Science, pages 275--287. Springer Verlag, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Hongwei Xi, Chiyan Chen, and Gang Chen. Guarded recursive datatype constructors. In ACM Symposium on Principles of Programming Languages (POPL), pages 224--235, January 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Stratified type inference for generalized algebraic data types

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
          January 2006
          432 pages
          ISBN:1595930272
          DOI:10.1145/1111037
          • cover image ACM SIGPLAN Notices
            ACM SIGPLAN Notices  Volume 41, Issue 1
            Proceedings of the 2006 POPL Conference
            January 2006
            421 pages
            ISSN:0362-1340
            EISSN:1558-1160
            DOI:10.1145/1111320
            Issue’s Table of Contents

          Copyright © 2006 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 11 January 2006

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • Article

          Acceptance Rates

          Overall Acceptance Rate824of4,130submissions,20%

          Upcoming Conference

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!