SCOPUS 정보 검색 플랫폼

Proceedings of the 4th International Conference on Functional Programming Languages and Computer Architecture, FPCA 1989

Volumn , Issue , 1989, Pages 293-298

On the complexity of type inference with coercion

(2) Wand, Mitchell a O'Keefe, Patrick b

a NORTHEASTERN UNIVERSITY (United States)

b ICAD Inc ^* (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; CALCULATIONS; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; DIFFERENTIATION (CALCULUS); FORESTRY; POLYNOMIAL APPROXIMATION; SET THEORY;

FOLLOWING PROBLEM; LAMBDA CALCULUS; PARTIALLY ORDERED SET; POLYNOMIAL-TIME; PRACTICAL IMPORTANCE; SATISFIABILITY PROBLEMS; SINGLE INHERITANCE; TYPE INFERENCES;

FUNCTIONAL PROGRAMMING;

EID: 85030718602 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/99370.99394 Document Type: Conference Paper

Times cited : (16)

References (8)

1
- 84913466683
- Basic polymorphic typechecking
- Jan Also appeared as Computing Science Tech. Rep. 119, AT&T Bell Laboratories, Murray Hill, N J
- Caidelli, L. "Basic Polymorphic Typechecking, " Polymorphism Newsletter 2, 1 (Jan, 1985). Also appeared as Computing Science Tech. Rep. 119, AT&T Bell Laboratories, Murray Hill, N J.
- (1985) Polymorphism Newsletter , vol.2 , Issue.1
- Caidelli, L.¹

2
- 85035024699
- A simple applicative language: Mini-ML
- Clément, D., Despeyroux, J., Despeyronx, T., and Kahn, G. "A Simple Applicative Language: Mini-ML" Proc. 1986 ACM Symp. on Lisp and Functional Programming, 13-27.
- Proc. 1986 ACM Symp. on Lisp and Functional Programming , pp. 13-27
- Clément, D.¹ Despeyroux, J.² Despeyronx, T.³ Kahn, G.⁴

3
- 85028838229
- Type inference with subtypes
- Fuh, Y.-C, and Mishra, P. "Type Inference with Subtypes, " Proc. European Symposium on Programming (19-88), 94-114.
- (1988) Proc. European Symposium on Programming , pp. 94-114
- Fuh, Y.-C.¹ Mishra, P.²

4
- 84968503882
- The principal type-scheme of an object in combinatory logic
- Hindley, R. "The Principal Type-Scheme of an Object in Combinatory Logic, " Trans. Am. Math. Soc. 146 (1969) 29-60.
- (1969) Trans. Am. Math. Soc. , vol.146 , pp. 29-60
- Hindley, R.¹

5
- 85034081590
- Ml with extended pattern matching and subtypes
- Jategaonkar, L.A., and Mitchell, J.C. "ML with Extended Pattern Matching and Subtypes, " Proc. 1988 ACM Conf. on Lisp and Functional Programming, 198211
- Proc. 1988 ACM Conf. on Lisp and Functional Programming , pp. 198211
- Jategaonkar, L.A.¹ Mitchell, J.C.²

6
- 0024859834
- Polymorphic unification and ml typing
- Kanellakis, P.C., and Mitchell, J.C. "Polymorphic Unification and ML Typing" Conf. Ree. 16th Ann. ACM Symp. on Principles of Programming Languages (1989), 105-115.
- (1989) Conf. Ree. 16th Ann ACM Symp. on Principles of Programming Languages , pp. 105-115
- Kanellakis, P.C.¹ Mitchell, J.C.²

7
- 0018105622
- A theory of type polymorphism in programming
- Milner, R. "A Theory of Type Polymorphism in Programming, " /. Comp. & Sys. Sei. 7(1978), 348-375.
- (1978) Comp. & Sys. Sei. , vol.7 , pp. 348-375
- Milner, R.¹

8
- 0021218450
- Coercion and Type Inference (summary)
- Mitchell, J.C. "Coercion and Type Inference (summary), " Conf. Ree. 11th Ann. ACM Symp. on Principles of Programming Languages (1984), 175-185.
- (1984) Conf. Ree. 11th Ann ACM Symp. on Principles of Programming Languages , pp. 175-185
- Mitchell, J.C.¹

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