Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell (2003)

Cached

Download Links

by Cristiano Vasconcellos , Lucília Figueiredo , Carlos Camarão
Venue:JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Citations:1 - 0 self