YANG Jun, G. Michaelson, P. Trinder. Explaining polymorphic types. Computer Journal, 45(4), 2002. 43  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Improving Polymorphic Type Explanations - Yang (2001) Self-citation (Yang) (Correct)
....types, and elucidates a simple set of rules which form the basis of our human like type explanation system [66] Chapter 6 describes an human like type explanation system. The system uses human techniques to give type inference explanations which are very di erent to those from other systems [67, 68]. Chapter 7 draws conclusions from the research and considers future work. The following contributions are made in the elds of type explanation and programming environment. 1. Visualization of polymorphic types gives a novel approach to representing types compared with traditional textual ....
....as characterized by our composite expert subject group, and the W algorithm. People tend to give explanations that avoid intermediate representations, focusing on concrete aspects of the program being analyzed. In building our system, we attempted to incorporate rules that re ect such behaviors [67]. The system is introduced in Chapter 6. The type explanation from the system are very unlike those from Hindley Milner based approaches and appear more human like to us. Comparison suggested that our system has similar behavior to human experts [68] In particular, the system seeks to provide ....
Jun Yang, Greg Michaelson, and Phil Trinder. Explaining polymorphic types. Submission to Computer Journal, Feb 2001.
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2004) (Correct)
No context found.
YANG Jun, G. Michaelson, P. Trinder. Explaining polymorphic types. Computer Journal, 45(4), 2002. 43
Termination Checking with Types - Abel (1999) (6 citations) (Correct)
No context found.
J. Yang, G. Michaelson, and P. Trinder. Explaining polymorphic types. Computer Journal, 45(4):436-452, 2002.
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2003) (Correct)
No context found.
J. YANG, G. Michaelson, P. Trinder. Explaining polymorphic types. Computer Journal, 200X. to appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC