Fully Abstract Translations and Parametric Polymorphism.

Peter W. O'Hearn Jon G. Riecke

Published in: ESOP (1994)

Keyphrases

higher level
low level
machine translation
neural network
machine learning
high level
parametric models