A Type Discipline for Solving Year 2000 Problems in COBOL Programs

Mads Tofte. A Type Discipline for Solving Year 2000 Problems in COBOL Programs. In Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki, editors, Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS 99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings. Volume 1672 of Lecture Notes in Computer Science, pages 442, Springer, 1999.

Abstract

Abstract is missing.