Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
Дата
Авторы
Vasconcellos,Cristiano
Figueiredo,Lucília
Camarão,Carlos
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
This paper describes a practical type inference algorithm for typing poly-morphic and possibly mutually recursive definitions, using Haskell to provide a high-level implementation of the algorithm.
Ключевые слова
programming languages , type inference , polymorphic recursion