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

by J-Y Marion, J-Y Moyen
Venue:In Proceedings of LPAR 2000, volume 1955 of LNCS