메뉴 건너뛰기




Volumn , Issue , 2010, Pages 1-7

Singleton types here, singleton types there, singleton types everywhere

Author keywords

Certified compilation; Dependent types; Singleton types

Indexed keywords

CALCULUS OF CONSTRUCTION; CERTIFIED COMPILATION; CLOSURE CONVERSION; CODE EXTRACTION; COMPILATION TECHNIQUES; COMPILER TECHNIQUES; DEPENDENT TYPES;

EID: 77950909052     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1707790.1707792     Document Type: Conference Paper
Times cited : (15)

References (20)
  • 1
    • 84909802861 scopus 로고
    • Barendregt. Lambda calculi with types
    • S. Abramsky, D. Gabbay, and T. Maibaum, editors, Oxford Univ. Press
    • Henk P. Barendregt. Lambda calculi with types. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science (volume 2). Oxford Univ. Press, 1991.
    • (1991) Handbook of Logic in Computer Science , vol.2
    • Henk, P.1
  • 5
    • 0036850258 scopus 로고    scopus 로고
    • Intensional polymorphism in type-erasure semantics
    • November
    • Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. Journal of Functional Programming, 12(6):567-600, November 2002.
    • (2002) Journal of Functional Programming , vol.12 , Issue.6 , pp. 567-600
    • Crary, K.1    Weirich, S.2    Morrisett, G.3
  • 6
    • 0026394160 scopus 로고
    • On the expressive power of programming languages
    • December
    • Matthias Felleisen. On the expressive power of programming languages. Science of Computer Programming, 17(1-3):35-75, December 1991.
    • (1991) Science of Computer Programming , vol.17 , Issue.1-3 , pp. 35-75
    • Felleisen, M.1
  • 7
    • 84947292266 scopus 로고    scopus 로고
    • A calculus for compiling and linking classes
    • of LNCS, New York, NY, March/April Springer-Verlag
    • Kathleen Fisher, John Reppy, and Jon G. Riecke. A calculus for compiling and linking classes. In European Symposium on Programming, volume 1782 of LNCS, pages 134-149, New York, NY, March/April 2000. Springer-Verlag.
    • (2000) European Symposium on Programming , vol.1782 , pp. 134-149
    • Fisher, K.1    Reppy, J.2    Riecke, J.G.3
  • 10
    • 0036568688 scopus 로고    scopus 로고
    • Polytypic values possess polykinded types
    • May-June
    • Ralf Hinze. Polytypic values possess polykinded types. Science of Computer Programming, 43(2-3):129-159, May-June 2002.
    • (2002) Science of Computer Programming , vol.43 , Issue.2-3 , pp. 129-159
    • Hinze, R.1
  • 11
    • 33745858605 scopus 로고    scopus 로고
    • Typed compilation against non-manifest base classes
    • January
    • Christopher League and Stefan Monnier. Typed compilation against non-manifest base classes. Lecture Notes in Computer Science, 3956: 77-98, January 2006.
    • (2006) Lecture Notes in Computer Science , vol.3956 , pp. 77-98
    • League, C.1    Monnier, S.2
  • 14
    • 47249102619 scopus 로고    scopus 로고
    • Erasure and polymorphism in pure type systems
    • Lecture Notes in Computer Science Budapest, Hungary, April
    • Nathan Mishra-Linger and Tim Sheard. Erasure and polymorphism in pure type systems. In Conference on Foundations of Software Science and Computation Structures, volume 4962 of Lecture Notes in Computer Science, pages 350-364, Budapest, Hungary, April 2008.
    • (2008) Conference on Foundations of Software Science and Computation Structures , vol.4962 , pp. 350-364
    • Mishra-Linger, N.1    Sheard, T.2
  • 20
    • 0034542069 scopus 로고    scopus 로고
    • Fully reflexive intensional type analysis
    • Montréal, Canada, September ACM Press
    • Valery Trifonov, Bratin Saha, and Zhong Shao. Fully reflexive intensional type analysis. In International Conference on Functional Programming, pages 82-93, Montréal, Canada, September 2000. ACM Press.
    • (2000) International Conference on Functional Programming , pp. 82-93
    • Trifonov, V.1    Saha, B.2    Shao, Z.3


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