From Type Inference to Configuration

Morten Heine Sørensen, Jens P. Secher. From Type Inference to Configuration. In Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough, editors, The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]. Volume 2566 of Lecture Notes in Computer Science, pages 436-472, Springer, 2002. [doi]

Abstract

Abstract is missing.