Jun Yang, Greg Michaelson, and Phil Trinder. Explaining polymorphic types through visualisation. In S. Alexander and U. O'Reilly, editors, Proceedings of 7th Annual Conference on the Teaching of Computing, pages 73-77. University of Ulster, Jordanstown, August 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Improving Polymorphic Type Explanations - Yang (2001) Self-citation (Yang) (Correct)
....Chapter 2 introduces Hindley Milner s type inference for parameterized polymorphism and its limitations for providing type explanations is discussed. A survey of related work is presented [69] Chapter 3 reports a visualization approach to presenting polymorphic types and function applications [63, 64]. A color representation of polymorphic types shows clearly the number of arguments and the type of each argument. Chapter 4 de nes a new type inference algorithm based on uni cation of assumption environments (UAE) and a new error reporting algorithm (IEI) 62, 70] Chapter 5 introduces a ....
....graphical type representations which change dynamically as functions are applied. This visualisation has been implemented for a Standard ML subset within a graphical environment in which function combinations are constrained by type matching. 6. Explaining polymorphic types through visualisation [64], Jun Yang, Greg Michaelson and Phil Trinder: Proceedings of 7th Annual Conference on the Teaching of Computing , S. Alexander and U. O Reilly, editors , pages 73 77, August 1999. A 2D visualisation of polymorphic types is presented. A pilot experiment to evaluate the use of the visualisation ....
Jun Yang, Greg Michaelson, and Phil Trinder. Explaining polymorphic types through visualisation. In S. Alexander and U. O'Reilly, editors, Proceedings of 7th Annual Conference on the Teaching of Computing, pages 73-77. University of Ulster, Jordanstown, August 1999.
Explaining Type Errors by Finding the Source of a Type Conflict - Yang (2000) (7 citations) Self-citation (Yang) (Correct)
....sufficient knowledge about type checking to understand the explanations. To overcome some limitations of textual explanations, we have implemented a visualisation of polymorphic type checking [12] An evaluation of the visualisation shows that it has the same power as the textual representation [13]. The operations of icons in the visualisation can be improved by better explanation algorithms . There are also several attempts directly address the location of the source of type errors: 1. Mitchell Wand s approach [11] keeps a record of the pieces of code that contribute to each type deduction ....
Jun Yang, Greg Michaelson, and Phil Trinder. Explaining polymorphic types through visualisation. In S. Alexander and U. O'Reilly, editors, Proceedings of 7th Annual Conference on the Teaching of Computing, pages 73 -- 77. University of Ulster, Jordanstown,
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