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

by Atsushi Ohori
Citations:58 - 8 self