메뉴 건너뛰기




Volumn 2006, Issue , 2006, Pages 50-61

Simple unification-based type inference for GADTS

Author keywords

Generalized algebraic data types; Type inference

Indexed keywords

GENERALIZED ALGEBRAIC DATA TYPES; TECHNICAL INNOVATION; TYPE INFERENCE;

EID: 34247281139     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159811     Document Type: Conference Paper
Times cited : (188)

References (27)
  • 1
    • 0031611513 scopus 로고    scopus 로고
    • Cayenne - a language with dependent types
    • ACM SIGPLAN International Conference on Functional Programming (ICFP'98, 1) of, Baltimore, ACM
    • Lennart Augustsson. Cayenne - a language with dependent types. In ACM SIGPLAN International Conference on Functional Programming (ICFP'98), volume 34(1) of ACM SIGPLAN Notices, pages 239-250, Baltimore, 1998. ACM.
    • (1998) ACM SIGPLAN Notices , vol.34 , pp. 239-250
    • Augustsson, L.1
  • 4
    • 33750400047 scopus 로고
    • Basic polymorphic typechecking
    • January
    • Luca Cardelli. Basic polymorphic typechecking. Polymorphism, 2(1), January 1985.
    • (1985) Polymorphism , vol.2 , Issue.1
    • Cardelli, L.1
  • 7
    • 0003266602 scopus 로고
    • Inductive Sets and Families in Maitin-Lf's Type Theory
    • Grard Huet and Gordon Plotkin, editors, Cambridge University Press
    • Peter Dybjer. Inductive Sets and Families in Maitin-Lf's Type Theory. In Grard Huet and Gordon Plotkin, editors, Logical Frameworks. Cambridge University Press, 1991.
    • (1991) Logical Frameworks
    • Dybjer, P.1
  • 8
    • 13344266569 scopus 로고    scopus 로고
    • Fun with phantom types
    • Jeremey Gibbons and, editors, Palgrave
    • Ralf Hinze. Fun with phantom types. In Jeremey Gibbons and Oege de Moor, editors, The fun of programming, pages 245-262. Palgrave, 2003.
    • (2003) The fun of programming , pp. 245-262
    • Hinze, R.1
  • 12
    • 0012523429 scopus 로고    scopus 로고
    • The design and implementation of Mondrian
    • John Launchbury, editor, Amsterdam, Netherlands
    • Erik Meijer and Koen Claessen. The design and implementation of Mondrian. In John Launchbury, editor, Haskell workshop, Amsterdam, Netherlands, 1997.
    • (1997) Haskell workshop
    • Meijer, E.1    Claessen, K.2
  • 14
    • 34247186566 scopus 로고    scopus 로고
    • Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalised algebraic data types. Microsoft Research, 2004.
    • Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalised algebraic data types. Microsoft Research, 2004.
  • 17
    • 32144439042 scopus 로고    scopus 로고
    • Putting Curry-Howard to work
    • Tallinn, Estonia, September, ACM
    • Tim Sheard. Putting Curry-Howard to work. In Proceedings of ACM Workshop on Haskell, Tallinn, pages 74-85, Tallinn, Estonia, September 2005. ACM.
    • (2005) Proceedings of ACM Workshop on Haskell, Tallinn , pp. 74-85
    • Sheard, T.1
  • 19
    • 32144438571 scopus 로고    scopus 로고
    • Type inference for guarded recursive data types
    • Technical report, National University of Singapore
    • Peter Stuckey and Martin Sulzmann. Type inference for guarded recursive data types. Technical report, National University of Singapore, 2005.
    • (2005)
    • Stuckey, P.1    Sulzmann, M.2
  • 21
    • 33745867697 scopus 로고    scopus 로고
    • A framework for extended algebraic data types
    • Technical report, National University of Singapore
    • Martin Sulzmann, Jeremy Wazny, and Peter Stuckey. A framework for extended algebraic data types. Technical report, National University of Singapore, 2005.
    • (2005)
    • Sulzmann, M.1    Wazny, J.2    Stuckey, P.3
  • 23
    • 34247250463 scopus 로고    scopus 로고
    • Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones. Simple unification-based type inference for GADTs, Technical Appendix. Technical Report MS-CIS-05-22, University of Pennsylvania, April 2006.
    • Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones. Simple unification-based type inference for GADTs, Technical Appendix. Technical Report MS-CIS-05-22, University of Pennsylvania, April 2006.
  • 24
    • 35048858250 scopus 로고    scopus 로고
    • Applied type system
    • Proceedings of TYPES 2003, of, Springer Verlag
    • Hongwei Xi. Applied type system. In Proceedings of TYPES 2003, volume 3085 of Lecture Notes in Computer Science, pages 394-408. Springer Verlag, 2004.
    • (2004) Lecture Notes in Computer Science , vol.3085 , pp. 394-408
    • Xi, H.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.