Graphs for Recording Type Information

Bruce J. McAdam


This report presents a way of recording information about the types of programs as a graph. The focus is on programs typed with Hindley-Milner type systems. The graphs can record information about untypeable programs (which are traditionally rejected with a type error message by type inference algorithms) and thus can be used to produce information to help programmers debug programs.


This report is available in the following formats:

Previous | Index | Next