A visualisation of polymorphic type checking

Yang Jung, Greg Michaelson

Research output: Contribution to journalArticlepeer-review

10 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)57-75
Number of pages19
JournalJournal of Functional Programming
Issue number1
Publication statusPublished - Jan 2000


Dive into the research topics of 'A visualisation of polymorphic type checking'. Together they form a unique fingerprint.

Cite this