A visualisation of polymorphic type checking

Authors:
Yang Jung;Greg Michaelson
Affiliations:
Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton EH14 4AS, UK (e-mail: ceejy1@cee.hw.ac.uk, greg@cee.hw.ac.uk) (http://www.cee.hw.ac.uk/Staff/g ...;Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton EH14 4AS, UK (e-mail: ceejy1@cee.hw.ac.uk, greg@cee.hw.ac.uk) (http://www.cee.hw.ac.uk/Staff/g ...
Venue:
Journal of Functional Programming
Year:
2000

Citing 8
Cited 7

A graphical FP language

ACM SIGPLAN Notices
Explaining type errors in polymorphic languages

ACM Letters on Programming Languages and Systems (LOPLAS)
Explaining type inference

Science of Computer Programming
Finding the source of type errors

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A maximum-flow approach to anomaly isolation in unification-based incremental type inference

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Definition of Standard ML

The Definition of Standard ML
Automatic Analysis Of Functional Program Style

ASWEC '96 Proceedings of the 1996 Australian Software Engineering Conference
Object-Flow

VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)

Compositional explanation of types and algorithmic debugging of type errors

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Kima: An Automated Error Correction System for Concurrent Logic Programs

Automated Software Engineering
Welcome to the Educational Pearls Column

Journal of Functional Programming
Source-tracking unification

Information and Computation
Source-tracking unification

Information and Computation
Polymorphic type reconstruction using type equations

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Safety concerns regarding the use of visual programming in civilian avionics software

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The understanding of polymorphic typechecking and type errors is poorly supported by contemporary functional language implementations. Here, a novel visualisation of functions and their types is presented based on the generation of function specific icons with 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.