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

메뉴 건너뛰기

Computer Journal

Volumn 45, Issue 4, 2002, Pages 436-452

Explaining polymorphic types

(3) Jun, Yang a Michaelson, Greg a Trinder, Phil a

a HERIOT WATT UNIVERSITY (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAM LISTINGS; ERROR ANALYSIS; HUMAN COMPUTER INTERACTION; INFERENCE ENGINES; RELIABILITY; SEMANTICS;

HINDLEY-MILNER INFERENCE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036318816 PISSN: 00104620 EISSN: None Source Type: Journal
DOI: 10.1093/comjnl/45.4.436 Document Type: Article

Times cited : (16)

References (30)

1
- 0033721575
- Fundamental concepts in programming languages
- (2000) Higher-Order and Symbolic Computation , vol.13 , pp. 11-49
- Strachey, C.¹

2
- 0018105622
- A theory of type polymorphism in programming
- (1978) J. Comput. Syst. Sci. , vol.17 , pp. 348-375
- Milner, R.¹

3
- 0003444157
- MIT Press, Cambridge, MA
- (1997) The Definition of Standard ML (Revised)
- Milner, R.¹ Tofte, M.² Harper, R.³

4
- 84922995178
- Miranda: A non-strict functional language with polymorphic types
- Jouannaud, J. P. (ed.), Proc. Functional Programming Languages and Computer Architecture. Springer, Berlin
- (1985) Lecture Notes in Computer Science , vol.201 , pp. 1-16
- Turner, D.¹

5
- 0009770552
- CSR-62-80, Department of Computer Science, University of Edinburgh
- (1980) HOPE: An Experimental Applicative Language
- Burstall, R.M.¹ MacQueen, D.B.² Sanella, D.T.³

6
- 0003886338
- Technical Report YALEU/DCS/RR-1106, Department of Computer Science, Yale University
- (1999) Haskell 98: A Non-Strict, Purely Functional Language
- Hughes, J.¹ Peyton Jones, S.²

7
- 0345884636
- Making the future safe for the past: Adding genericity to the Java programming language
- Vancouver, 18-22 October. ACM Press, New York
- (1998) OOPSLA 98 , pp. 183-200
- Bracha, G.¹ Odersky, M.² Stoutamire, D.³ Wadler, P.⁴

8
- 0012686903
- Compatible genericity with run-time types for the Java™ programming language
- Vancouver, 18-22 October. ACM Press, New York
- (1998) OOPSLA 98 , pp. 201-215
- Cartwright¹ Steele G.L., Jr.²

9
- 0030652702
- Parameterized types for Java
- Pads, France, 15-17 January
- (1997) Proc. ACM Principles of Programming Languages , pp. 132-145
- Myers, A.C.¹ Bank, J.A.² Liskov, B.³

10
- 0009795796
- The Napier88 reference manual
- University of St Andrews/University of Glasgow
- (1989) Persistent Programming Research Report , vol.77
- Morrison, R.¹ Brown, F.² Connor, R.³ Dearle, A.⁴

11
- 0000968273
- A logic programming language with lambda-abstraction, function variables, and simple unification
- (1991) J. Logic Comput. , vol.1 , pp. 497-536
- Miller, D.¹

12
- 0023331737
- Basic polymorphic type checking
- (1984) Sci. Comput. Program. , vol.8 , pp. 147-172
- Cardelli, L.¹

13
- 0004175592
- Addison-Wesley, Wokingham
- (1988) Functional Programming
- Field, A.J.¹ Harrison, P.G.²

14
- 0009792753
- Human and 'human-like' type explanations?
- G. Kadoda (ed.), Bournemouth University, April
- (2001) Proc. 13th Ann. Workshop of the Psychology of Programming Interest Group , pp. 163-172
- Yang, J.¹ Michaelson, G.² Trinder, P.³

15
- 0009808312
- How human-like are 'human-like' polymorphic type explanations?
- University of Ulster, September
- (2001) Proc. 2nd Ann. Conf. LSTN Centre for Information and Computer Sciences , pp. 97-101
- Yang, J.¹ Michaelson, G.² Trinder, P.³

16
- 0009808313
- UCL Press, London
- (1995) Elementary Standard ML
- Michaelson, G.¹

17
- 0020766507
- Towards a theory of the comprehension of computer programs
- (1983) Int J. Man-Machine Studies , vol.18 , pp. 543-554
- Brooks, R.¹

18
- 0009792560
- Beacons: A knowledge structure in program comprehension
- Salvendy, G. and Smith M.J. (Eds.). Elsevier, Amsterdam
- (1989) Designing and Using Human-Computer Interfaces and Knowledge Based Systems , pp. 82-87
- Wiedenbeck, S.¹ Scholz, J.²

19
- 0009792561
- PhD Thesis, Department of Computer Science, Heriot-Watt University, Edinburgh, Scotland
- (2001) Improving Polymorphic Type Explanations
- Yang, J.¹

20
- 0009811280
- Personal Communication. Chalmers University of Technology, Göteborg, June
- (1999)
- Agat, J.¹ Gustavsson, J.²

21
- 0003067236
- Explaining type errors by finding the source of a type conflict
- Michaelson, G., Trinder, P. and Loidl, H.-W. (eds), Intellect, Bristol
- (2000) Trends in Functional Programming , pp. 58-66
- Yang, J.¹

22
- 0009795798
- Typeview: A tool for understanding type errors
- Mohnen, M. and Koopman, P. (eds), Aachen, July. Aachner, Informatik-Berichte
- (2000) Proc. 12th Int. Workshop on Implementation of Functional Languages , pp. 63-69
- Huch, F.¹ Chitil, O.² Simon, A.³

23
- 0003062015
- Master's Thesis, Department of Computer Science, Heriot-Watt University, Edinburgh, Scotland
- (2000) An Explanation Based Polymorphic Type Checker for Standard ML
- Soosaipillai, H.¹

24
- 0030192589
- Explaining type inference
- (1996) Sci. Comput. Program. , vol.27 , pp. 37-83
- Duggan, D.¹ Bent, F.²

25
- 0002070215
- Finding the source of type errors
- January, ACM Press
- (1986) Conf. Rec. 13th Ann. ACM Symp. on Principles of Programming Languages , pp. 38-43
- Wand, M.¹

26
- 0009770555
- Technical Report 3139, INRIA
- (1997) Interactive Programming Environment for ML
- Rideau, L.¹ Thery, L.²

27
- 0027565614
- Explaining type errors in polymorphic languages
- (1993) ACM Lett. on Programming Languages and Systems , vol.2 , pp. 17-30
- Beaven, M.¹ Stansifer, R.²

28
- 0003564959
- Technical Report, Department of Computer Science, Chalmers University of Technology, Sweden
- (1993) Finding the Source of Type Errors Interactively
- Rittri, M.¹

29
- 0004216721
- Technical Report, State University of New York at Stony Brook
- (1995) Debugging Type Errors (Full Version)
- Bernstein, K.L.¹ Stark, E.W.²

30
- 0027306954
- Smartest recompilation
- January, Charlestone, SC
- (1993) 20th Ann. ACM Symp. on Principles of Programming Languages , pp. 439-450
- Shao, Z.¹ Appel, A.W.²

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