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

Cached

Download Links

by Atsushi Ohori
Citations:57 - 7 self