SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 526 LNCS, Issue , 1991, Pages 675-700

The coherence of languages with intersection types

(1) Reynolds, John C a

a CARNEGIE MELLON UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); CALCULATIONS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DIFFERENTIATION (CALCULUS); FUNCTIONAL PROGRAMMING; SEMANTICS;

INTERSECTION TYPES; LAMBDA CALCULUS; PURELY FUNCTIONAL; SEMANTIC AMBIGUITIES; TYPE STRUCTURES;

ALGOL (PROGRAMMING LANGUAGE);

EID: 85027620781 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-54415-1_70 Document Type: Conference Paper

Times cited : (41)

References (8)

1
- 0026190144
- Inheritance as implicit coercion
- July
- V. Breazu-Tannen, T. Coquand, C. A. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and Computation, 93(1):172-222, July 1991.
- (1991) Information and Computation , vol.93 , Issue.1 , pp. 172-222
- Breazu-Tannen, V.¹ Coquand, T.² Gunter, C.A.³ Scedrov, A.⁴

2
- 0001946337
- Functional characters of solvable terms
- M. Coppo, M. Dezani-Ciancaglini, and B. Venneri. Functional characters of solvable terms. Z. Math. Logik Grundlagen Math., 27:45-58, 1981.
- (1981) Z. Math. Logik Grundlagen Math. , vol.27 , pp. 45-58
- Coppo, M.¹ Dezani-Ciancaglini, M.² Venneri, B.³

3
- 0003994796
- Ph. D. dissertation, Syracuse University, August
- F. J. Oles. A Category-Theoretic Approach to the Semantics of Programming Languages. Ph. D. dissertation, Syracuse University, August 1982.
- (1982) A Category-Theoretic Approach to the Semantics of Programming Languages
- Oles, F.J.¹

4
- 0003211039
- Type algebras, functor categories, and block structure
- M. Nivat and J. C. Reynolds, editors, Cambridge Univ. Press, Cambridge, England
- F. J. Oles. Type algebras, functor categories, and block structure. In M. Nivat and J. C. Reynolds, editors, Algebraic Methods in Semantics, pages 543-573. Cambridge Univ. Press, Cambridge, England, 1985.
- (1985) Algebraic Methods in Semantics , pp. 543-573
- Oles, F.J.¹

5
- 85000828188
- Using category theory to design implicit conversions and generic operators
- N. D. Jones, editor, Led. Notes in Computer Sci, Berlin, SpringerVerlag
- J. C. Reynolds. Using category theory to design implicit conversions and generic operators. In N. D. Jones, editor, Semantics-Directed Compiler Generation, volume 94 of Led. Notes in Computer Sci., pages 211-258, Berlin, 1980. SpringerVerlag.
- (1980) Semantics-Directed Compiler Generation , vol.94 , pp. 211-258
- Reynolds, J.C.¹

6
- 0023169794
- Conjunctive types and Algol-like languages (abstract of invited lecture)
- Full text in preparation
- J. C. Reynolds. Conjunctive types and Algol-like languages (abstract of invited lecture). In Proc. Symp. on Logic in Computer Science, page 119, 1987. Full text in preparation.
- (1987) Proc. Symp. on Logic in Computer Science , pp. 119
- Reynolds, J.C.¹

7
- 0041486137
- Report CMU-CS-88-159, Carnegie Mellon University, June 21
- J. C. Reynolds. Preliminary design of the programming language Forsythe. Report CMU-CS-88-159, Carnegie Mellon University, June 21, 1988.
- (1988) Preliminary design of the programming language Forsythe
- Reynolds, J.C.¹

8
- 0024900567
- Type inference for record concatenation and multiple inheritance
- M. Wand. Type inference for record concatenation and multiple inheritance. In Proc. Fourth Annual Symp. on Logic in Computer Science, pages 92-97, 1989.
- (1989) Proc. Fourth Annual Symp. on Logic in Computer Science , pp. 92-97
- Wand, M.¹

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