Harnessing ML:::F::: with the Power of System F

Giulio Manzonetto, Paolo Tranquilli. Harnessing ML:::F::: with the Power of System F. In Petr Hlinený, Antonín Kucera, editors, Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6281 of Lecture Notes in Computer Science, pages 525-536, Springer, 2010. [doi]

Abstract

Abstract is missing.