SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2001, Pages 1-12

Design and implementation of generics for the .NET common language runtime

(2) Kennedy, A a Syme, D a

a MICROSOFT RESEARCH (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; PROGRAM COMPILERS; SEMANTICS; VIRTUAL REALITY;

COMMON LANGUAGE RUNTIME (CLR);

COMPUTER PROGRAMMING LANGUAGES;

EID: 0034826796 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (109)

References (17)

1
- 84876760844
- The .NET Common Language Runtime

2
- 0001016509
- Adding parameterized types to Java
- ACM
- (1997) Object-Oriented Programming: Systems, Languages, Applications (OOPSLA) , pp. 215-230
- Agesen, O.¹ Freund, S.² Mitchell, J.C.³

3
- 0031605775
- Compiling standard ML to Java bytecodes
- September
- (1998) 3rd ACM SIGPLAN International Conference on Functional Programming
- Benton, P.N.¹ Kennedy, A.J.² Russell, G.³

4
- 0345884636
- Making the future safe for the past: Adding genericity to the Java programming language
- ACM, October
- (1998) Object-Oriented Programming: Systems, Languages, Applications (OOPSLA)
- Bracha, G.¹ Odersky, M.² Stoutamire, D.³ Wadler, P.⁴

5
- 0002776131
- F-bounded quantification for object-oriented programming
- (1989) Conference on Functional Programming Languages and Computer Architecture
- Canning, P.S.¹ Cook, W.R.² Hill, W.L.³ Mitchell, J.C.⁴ Olthoff, W.⁵

6
- 0012686903
- Compalible genericity with run-time types for the Java programming language
- Vancouver, October. ACM
- (1998) Object-Oriented Programming: Systems, Languages, Applications (OOPSLA)
- Cartwright, R.¹ Steele, G.L.²

7
- 0003581521
- PhD thesis, University of St. Andrews
- (1990) Types and Polymorphism in Persistent Programming Systems
- Connor, R.C.H.¹

8
- 0035035507
- Typing a multi-language intermediate code
- January
- (2001) 27th Annual ACM Symposium on Principles of Programming Languages
- Gordon, A.¹ Syme, D.²

9
- 0029190995
- Compiling polymorphism using intensional type analysis
- January
- (1995) 22nd Annual ACM Symposium on Principles of Programming Languages
- Harper, R.¹ Morrisett, G.²

10
- 0026965761
- Unboxed objects and polymorphic typing
- (1992) 19th Annual ACM Symposium on Principles of Programming Languages , pp. 177-188
- Leroy, X.¹

11
- 0004220511
- Addison-Wesley, second edition
- (1999) The Java Virtual Machine Specification
- Lindholm, T.¹ Yellin, F.²

12
- 0003493277
- Technical report, RIMS, Kyoto University
- (1997) Full lifting of type parameters
- Minamide, Y.¹

13
- 0030652702
- Parameterized types for Java
- January
- (1997) 24th Annual ACM Symposium on Principles of Programming Languages , pp. 132-145
- Myers, A.¹ Bank, J.² Liskov, B.³

14
- 0030685619
- Pizza into Java: Translating theory into practice
- ACM
- (1997) ACM Symposium on Principles of Programming Languages , pp. 146-159
- Odersky, M.¹ Wadler, P.² Bracha, G.³ Stoutamire, D.⁴

15
- 0003637593
- Technical Report CIS-97-016, University of South Australia
- (1997) Two Ways to Bake Your Pizza - Translating Parameterised Types into Java
- Odersky, M.¹ Runne, E.² Wadler, P.³

16
- 0034447519
- Parametric polymorphism in Java: An approach to translation based on reflective features
- ACM, October
- (2000) Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)
- Viroli, M.¹ Natali, A.²

17
- 0003664535
- Technical Report DEIS-LIA-00-001, Università degli Studi di Bologna, April
- (2000) Parametric polymorphism in Java through the homogeneous translation LM: Gathering type descriptors at load-time
- Viroli, M.¹ Natali, A.²

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