메뉴 건너뛰기




Volumn 198, Issue 2, 2005, Pages 71-147

Subtyping recursion and parametric polymorphism in kernel fun

Author keywords

Kernel Fun; Recursive types; Subtyping; Type theory and type systems

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; FUNCTIONS; OPEN SYSTEMS; OPTIMIZATION; THEOREM PROVING; TREES (MATHEMATICS);

EID: 17644382291     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ic.2004.11.003     Document Type: Article
Times cited : (9)

References (37)
  • 4
    • 0012731569 scopus 로고
    • Fibonacci: A programming language for object databases
    • A. Albano, G. Ghelli, and R. Orsini Fibonacci: a programming language for object databases VLDB Journal 4 3 1995 403 444
    • (1995) VLDB Journal , vol.4 , Issue.3 , pp. 403-444
    • Albano, A.1    Ghelli, G.2    Orsini, R.3
  • 6
    • 0001214960 scopus 로고
    • Metric interpretations of infinite trees and semantics of non deterministic recursive programs
    • A. Arnold, and M. Nivat Metric interpretations of infinite trees and semantics of non deterministic recursive programs Theoretical Computer Science 11 2 1980 181 205
    • (1980) Theoretical Computer Science , vol.11 , Issue.2 , pp. 181-205
    • Arnold, A.1    Nivat, M.2
  • 10
    • 0022333721 scopus 로고
    • On understanding types, data abstraction, and polymorphism
    • L. Cardelli, and P. Wegner On understanding types, data abstraction, and polymorphism Computing Surveys 17 4 1985 471 522
    • (1985) Computing Surveys , vol.17 , Issue.4 , pp. 471-522
    • Cardelli, L.1    Wegner, P.2
  • 11
    • 0003742444 scopus 로고
    • October Unpublished manuscript
    • L. Cardelli, Notes about F <: ω, October 1990, Unpublished manuscript
    • (1990) ω
    • Cardelli, L.1
  • 14
    • 0003019966 scopus 로고    scopus 로고
    • Sendai, Japan
    • L. Cardelli, S. Martini, J.C. Mitchell, A. Scedrov, An extension of system F with subtyping, Information and Computation 109(1-2) (1994) 4-56, Preliminary version in TACS '91 (Sendai, Japan, pp. 750-770)
    • Preliminary Version in TACS '91 , pp. 750-770
  • 19
    • 0023981884 scopus 로고
    • Type theories and object-oriented programming
    • S. Danforth, and C. Tomlinson Type theories and object-oriented programming ACM Computing Surveys 20 1 1988 29 72
    • (1988) ACM Computing Surveys , vol.20 , Issue.1 , pp. 29-72
    • Danforth, S.1    Tomlinson, C.2
  • 20
    • 0029454104 scopus 로고    scopus 로고
    • The development of type systems for object-oriented languages
    • K. Fisher, and J. Mitchell The development of type systems for object-oriented languages Theory and Practice of Object Systems 1 3 1996 189 220
    • (1996) Theory and Practice of Object Systems , vol.1 , Issue.3 , pp. 189-220
    • Fisher, K.1    Mitchell, J.2
  • 22
    • 17144386490 scopus 로고
    • Modelling features of object-oriented languages in second order functional languages with subtypes
    • G. Ghelli, Modelling features of object-oriented languages in second order functional languages with subtypes, in: REX Workshop, 1990, pp. 311-340
    • (1990) REX Workshop , pp. 311-340
    • Ghelli, G.1
  • 25
    • 0003693152 scopus 로고
    • Proof theoretic studies about a minimal type system integrating inclusion and parametric polymorphism
    • PhD thesis, Dipartimento di Informatica, Università di Pisa, March
    • G. Ghelli, Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism, PhD thesis, Dipartimento di Informatica, Università di Pisa, March 1990, Tech. Rep. TD-6/90
    • (1990) Tech. Rep. , vol.TD-6-90
    • Ghelli, G.1
  • 27
    • 0003630848 scopus 로고
    • Edinburgh LCF Springer-Verlag, Berlin
    • M.H. Gordon, R.M. Milner, C. Wadsworth, Edinburgh LCF, Volume 78 of LNCS, Springer-Verlag, Berlin, 1979
    • (1979) LNCS , vol.78
    • Gordon, M.H.1    Milner, R.M.2    Wadsworth, C.3
  • 30
  • 32
    • 17644383591 scopus 로고    scopus 로고
    • personal communication
    • A. Kennedy, personal communication, 1998
    • (1998)
    • Kennedy, A.1
  • 35
    • 0003102688 scopus 로고
    • Bounded quantification is undecidable
    • B.C. Pierce Bounded quantification is undecidable Information and Computation 112 1 1994 131 165
    • (1994) Information and Computation , vol.112 , Issue.1 , pp. 131-165
    • Pierce, B.C.1
  • 36
    • 84972541021 scopus 로고
    • A lattice-theoretical fixpoint theorem and its applications
    • A. Tarski A lattice-theoretical fixpoint theorem and its applications Pacific Journal of Mathematics 5 1955 285 309
    • (1955) Pacific Journal of Mathematics , vol.5 , pp. 285-309
    • Tarski, A.1


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