Deep Type Inference for Mobile Functions

Stephen Gilmore. Deep Type Inference for Mobile Functions. 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 41-49, Intellect, 1999.

Abstract

Abstract is missing.