메뉴 건너뛰기




Volumn 2006, Issue , 2006, Pages 251-262

Boxy types: Inference for higher-rank types and impredicativity

Author keywords

Higher rank types; Impredicativity; Type inference

Indexed keywords

HIGHER-RANK TYPES; IMPREDICATIVITY; TYPE INFERENCE;

EID: 34247254416     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159838     Document Type: Conference Paper
Times cited : (30)

References (26)
  • 4
    • 34247218190 scopus 로고    scopus 로고
    • How good is local type inference? Technical Report MS-CIS-99-17, University of Pennsylvania
    • June
    • Haruo Hosoya and Benjamin C. Pierce. How good is local type inference? Technical Report MS-CIS-99-17, University of Pennsylvania, June 1999.
    • (1999)
    • Hosoya, H.1    Pierce, B.C.2
  • 7
    • 0028465744 scopus 로고
    • A direct algorithm for type inference in the rank-2 fragment of the second-order lambda calculus
    • ACM, Orlando, Florida, June
    • AJ Kfoury and JB Wells. A direct algorithm for type inference in the rank-2 fragment of the second-order lambda calculus. In ACM Symposium on Lisp and Functional Programming, pages 196-207. ACM, Orlando, Florida, June 1994.
    • (1994) ACM Symposium on Lisp and Functional Programming , pp. 196-207
    • Kfoury, A.J.1    Wells, J.B.2
  • 10
    • 0032108250 scopus 로고    scopus 로고
    • Proofs about a folklore letpolymorphic type inference algorithm
    • July
    • Oukseh Lee and Kwangkeun Yi. Proofs about a folklore letpolymorphic type inference algorithm. ACM Transactions on Programming Languages and Systems, 20(4):707-723, July 1998.
    • (1998) ACM Transactions on Programming Languages and Systems , vol.20 , Issue.4 , pp. 707-723
    • Lee, O.1    Yi, K.2
  • 11
    • 84860220986 scopus 로고    scopus 로고
    • Daan Leijen and Andres Lh. Qualified types for MLF. In ICFP05 [5], pages 144-155.
    • Daan Leijen and Andres Lh. Qualified types for MLF. In ICFP05 [5], pages 144-155.
  • 12
    • 85031901612 scopus 로고
    • Dynamics in ML
    • RJM Hughes, editor, ACM Conference on Functional Programming and Computer Architecture FPCA'91, of, Boston, Springer Verlag
    • X Leroy and M Mauny. Dynamics in ML. In RJM Hughes, editor, ACM Conference on Functional Programming and Computer Architecture (FPCA'91), volume 523 of Lecture Notes in Computer Science, Boston, 1991. Springer Verlag.
    • (1991) Lecture Notes in Computer Science , vol.523
    • Leroy, X.1    Mauny, M.2
  • 13
    • 0018105622 scopus 로고
    • A theory of type polymorphism in programming
    • December
    • R Milner. A theory of type polymorphism in programming. JCSS, 13(3), December 1978.
    • (1978) JCSS , vol.13 , Issue.3
    • Milner, R.1
  • 14
    • 0021218450 scopus 로고
    • Coercion and type inference
    • January
    • JC Mitchell. Coercion and type inference. In ACM POPL, pages 175-185. January 1984.
    • (1984) ACM POPL , pp. 175-185
    • Mitchell, J.C.1
  • 17
    • 34247182194 scopus 로고
    • The implementation of practical functional programming languages. Ph.D. thesis, Imperial College, London
    • N Perry. The implementation of practical functional programming languages. Ph.D. thesis, Imperial College, London, 1991.
    • (1991)
    • Perry, N.1
  • 20
    • 33745213474 scopus 로고    scopus 로고
    • The essence of ML type inference
    • Benjamin C. Pierce, editor, chapter 10, MIT Press
    • 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.
    • (2005) Advanced Topics in Types and Programming Languages , pp. 389-489
    • Pottier, F.1    Rémy, D.2
  • 21
    • 33750420095 scopus 로고    scopus 로고
    • Didier Rémy. Simple, partial type inference for System F, based on type containment. In ICFP05 [5], pages 130-143.
    • Didier Rémy. Simple, partial type inference for System F, based on type containment. In ICFP05 [5], pages 130-143.
  • 22
    • 4444256167 scopus 로고    scopus 로고
    • Sexy types in action
    • May
    • Ken Shan. Sexy types in action. SIGPLAN Notices, 39(5): 15-22, May 2004.
    • (2004) SIGPLAN Notices , vol.39 , Issue.5 , pp. 15-22
    • Shan, K.1
  • 26
    • 34247181325 scopus 로고    scopus 로고
    • Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones. Boxy type inference for higher-rank types and impredicativity, Technical Appendix. Technical Report MS-CIS-05-23, University of Pennsylvania, April 2006.
    • Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones. Boxy type inference for higher-rank types and impredicativity, Technical Appendix. Technical Report MS-CIS-05-23, University of Pennsylvania, April 2006.


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