Home
 

Graphs for Recording Type Information

Bruce J. McAdam

Abstract:

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.

ECS-LFCS-99-415.

This report is available in the following formats:

Previous | Index | Next