A compilation method for ML-style polymorphic record calculi (1992)

Cached

Download Links

by Atsushi Ohori
Citations:59 - 8 self