Categorical abstract machines for higher-order typed lambdacalculi (1994)

by Eike Ritter
Venue:Theoretical Computer Science