Efficient first order functional program interpreter with time bound certifications (1955)

by J-Y Marion, J-Y Moyen
Venue:In LPAR. Lecture Notes in Computer Science