Login / Signup

A Compilation Method for ML-Style Polymorphic Record Calculi.

Atsushi Ohori
Published in: POPL (1992)
Keyphrases