Generalising Techniques for Type Debugging

Bruce J. McAdam. Generalising Techniques for Type Debugging. In Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl, editors, Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999. Volume 1 of Trends in Functional Programming, pages 50-58, Intellect, 1999.

Abstract

Abstract is missing.