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

by J-Y Marion, J-Y Moyen
Venue:Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, volume 1955 of Lecture Notes in Computer Science