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

메뉴 건너뛰기

LISP and Symbolic Computation

Volumn 8, Issue 4, 1995, Pages 343-355

Simple imperative polymorphism

(1) Wright, Andrew K a

a RICE UNIVERSITY (United States)

Author keywords

Continuations; functional programming; polymorphism; references; state

Indexed keywords

EID: 0001020708 PISSN: 08924635 EISSN: 15730557 Source Type: Journal
DOI: 10.1007/BF01018828 Document Type: Article

Times cited : (131)

References (20)

1
- 84931371612
- “Standard ML of New Jersey release notes (version 0.93),” AT&T Bell Laboratories (November 1993).

2
- 84931310979
- Damas, L. M. M. Principal Type Schemes for Functional Programs, In Proceedings of the 9th Annual ACM Symposium on Principles of Programming Languages (January 1982) 207–212.

3
- 84931381621
- Damas, L. M. M. Type Assignment in Programming Languages, PhD thesis, University of Edinburgh (1985).

4
- 84931316611
- Greiner, J. “Standard ML weak polymorphism can be sound,” Technical Report CMU-CS-93-160R, Carnegie Mellon University (September 1993).

5
- 84931292906
- Harper, R. and M. Lillibridge. “Explicit polymorphism and CPS conversion,” In Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages (January 1993) 206–219.

6
- 84972049003
- Typing first-class continuations in ML
- (1993) Journal of Functional Programming , vol.3 , Issue.4 , pp. 465-484
- Harper, R.¹ Duba, B.F.² MacQueen, D.³

7
- 84968503882
- The principal type-scheme of an object in combinatory logic
- (1969) Transactions of the American Mathematical Society , vol.146 , pp. 29-60
- Hindley, R.¹

8
- 84931452832
- Hoang, M., J. Mitchell, and R. Viswanathan. “Standard ML-NJ weak polymorphism and imperative constructs,” In Proceedings of the Eighth Annual Symposium on Logic in Computer Science (June 1993) 15–25.

9
- 84931381645
- Leroy, X. Typage polymorphe d'un langage algorithmique, PhD thesis, L'Université Paris 7 (1992).

10
- 84931357672
- Leroy, X. “Polymorphism by name for references and continuations,” In Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages (January 1993) 220–231.

11
- 84931399896
- Leroy, X. and P. Weis. “Polymorphic type inference and assignment,” In Proceedings of the 18th Annual Symposium on Principles of Programming Languages (January 1991) 291–302.

12
- 0018105622
- A theory of type polymorphism in programming
- (1978) Journal of Computer and System Sciences , vol.17 , pp. 348-375
- Milner, R.¹

13
- 0041006416
- MIT Press, Cambridge, Massachusetts
- (1991) Commentary on Standard ML
- Milner, R.¹ Tofte, M.²

14
- 0003444157
- MIT Press, Cambridge, Massachusetts
- (1990) The Definition of Standard ML
- Milner, R.¹ Tofte, M.² Harper, R.³

15
- 84931430345
- Ohori, A. “A simple semantics for ML polymorphism,” In Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture (September 1989) 281–292.

16
- 84931454244
- Reppy, J. H. Higher-order Concurrency, PhD thesis, Cornell University (1991).

17
- 84931438924
- Talpin, J.-P. and P. Jouvelot. “The type and effect discipline,” In Proceedings of the Seventh Annual Symposium on Logic in Computer Science (June 1992) 162–173.

18
- 84931298984
- Tofte, M. “Type inference for polymorphic references,”Information and Computation, 89, 1 (November 1990) 1–34.

19
- 84931452455
- Wright, A. K. “Typing references by effect inference,” In Proceedings of the 4th European Symposium on Programming, Springer-Verlag Lecture Notes in Computer Science 582 (1992) 473–491.

20
- 84931451701
- Wright, A. K. and M. Felleisen. “A Syntactic Approach to Type Soundness,” Technical Report 91–160, Rice University (April 1991). To appear in Information and Computation, 1994.

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