메뉴 건너뛰기




Volumn 69, Issue 1-2, 2006, Pages 103-121

Implementing typeful program transformations

Author keywords

Applied Type System; ATS; Closure Conversion; Continuation Passing Style; CPS; Dependent Types; Typeful Program Transformation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROGRAM COMPILERS; PROGRAM INTERPRETERS;

EID: 33644616592     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (3)

References (34)
  • 4
    • 0013260541 scopus 로고
    • Lambda calculus notation with nameless dummies
    • de Bruijn, N. G.: Lambda calculus notation with nameless dummies, Indagationes mathematicae, 34, 1972, 381-392.
    • (1972) Indagationes Mathematicae , vol.34 , pp. 381-392
    • De Bruijn, N.G.1
  • 5
    • 0004898798 scopus 로고
    • Typeful programming
    • (E. J. Neuhold, M. Paul, Eds.), Springer-Verlag, Berlin
    • Cardelli, L.: Typeful Programming, in: Formal Description of Programming Concepts (E. J. Neuhold, M. Paul, Eds.), Springer-Verlag, Berlin, 1991, 431-507.
    • (1991) Formal Description of Programming Concepts , pp. 431-507
    • Cardelli, L.1
  • 9
    • 33644615295 scopus 로고    scopus 로고
    • Technical Report CUCIS-TR2003-1901, Cornell University
    • Cheney, J., Hinze, R.: Phantom Types, Technical Report CUCIS-TR2003-1901, Cornell University, 2003, Available at http://techreports.library.cornell.edu: 8081/Dienst/UI/1.0/Display/cul.cis/TR2003-1901.
    • (2003) Phantom Types
    • Cheney, J.1    Hinze, R.2
  • 10
    • 0035624415 scopus 로고    scopus 로고
    • Normalization by evaluation with typed abstract syntax
    • Danvy, O., Rhiger, M., Rose, K.: Normalization by Evaluation with Typed Abstract Syntax, Journal of Functional Programming, 11(6), 2001, 673-680.
    • (2001) Journal of Functional Programming , vol.11 , Issue.6 , pp. 673-680
    • Danvy, O.1    Rhiger, M.2    Rose, K.3
  • 12
    • 0027353175 scopus 로고
    • A framework for defining logics
    • January
    • Harper, R. W., Honsell, F., Plotkin, G. D.: A Framework for Defining Logics, Journal of the ACM, 40(1), January 1993, 143-184.
    • (1993) Journal of the ACM , vol.40 , Issue.1 , pp. 143-184
    • Harper, R.W.1    Honsell, F.2    Plotkin, G.D.3
  • 13
    • 13344266569 scopus 로고    scopus 로고
    • Fun with phantom types
    • (J. Gibbons, O. de Moor, Eds.), Palgrave Macmillan, ISBN 1-4039-0772-2 (hardback) 0-333-99285-7 (paperback)
    • Hinze, R.: Fun with Phantom Types, in: The Fun of Programming (J. Gibbons, O. de Moor, Eds.), Palgrave Macmillan, 2003, ISBN 1-4039-0772-2 (hardback) 0-333-99285-7 (paperback), 245-262.
    • (2003) The Fun of Programming , pp. 245-262
    • Hinze, R.1
  • 14
    • 0001669181 scopus 로고
    • Continuation semantics in typed lambda calculi (summary)
    • (R. Parikh, Ed.), Springer-Verlag LNCS 224
    • Meyer, A., Wand, M.: Continuation Semantics in Typed Lambda Calculi (summary), Logics of Programs (R. Parikh, Ed.), Springer-Verlag LNCS 224, 1985.
    • (1985) Logics of Programs
    • Meyer, A.1    Wand, M.2
  • 25
    • 0142089908 scopus 로고    scopus 로고
    • Nominal logic, a first order theory of names and binding
    • November
    • Pitts, A. M.: Nominal Logic, A First Order Theory of Names and Binding, Information and Computation, 186(2), November 2003, 165-193.
    • (2003) Information and Computation , vol.186 , Issue.2 , pp. 165-193
    • Pitts, A.M.1
  • 26
    • 18944377121 scopus 로고
    • Call-by-name, call-by-value and the a-calculus
    • December
    • Plotkin, G. D.: Call-by-Name, Call-by-Value and the A-Calculus, Theoretical Computer Science, 1(2), December 1975, 125-159.
    • (1975) Theoretical Computer Science , vol.1 , Issue.2 , pp. 125-159
    • Plotkin, G.D.1
  • 28
    • 0003584855 scopus 로고    scopus 로고
    • Ph.D. Thesis, Carnegie Mellon University
    • Xi, H.: Dependent Types in Practical Programming, Ph.D. Thesis, Carnegie Mellon University, 1998, Pp. viii+189. Available at http://www.cs.cmu.edu/~hwxi/ DML/thesis.ps.
    • (1998) Dependent Types in Practical Programming
    • Xi, H.1
  • 29
    • 23844435594 scopus 로고    scopus 로고
    • Dependently typed pattern matching
    • Xi, H.: Dependently Typed Pattern Matching, Journal of Universal Computer Science, 9(8), 2003, 851-872.
    • (2003) Journal of Universal Computer Science , vol.9 , Issue.8 , pp. 851-872
    • Xi, H.1
  • 30
    • 32044432850 scopus 로고    scopus 로고
    • Applied type system (extended abstract)
    • Springer-Verlag LNCS 3085
    • Xi, H.: Applied Type System (extended abstract), post-workshop Proceedings of TYPES 2003, Springer-Verlag LNCS 3085, 2004.
    • (2004) Post-workshop Proceedings of TYPES 2003
    • Xi, H.1


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