Jean-Yves Marion, Jean-Yves Moyen. Efficient first order functional program interpreter with time bound certifications.
International Conference on Logic Programming & Automated Reasoning - LPAR'2000, Nov 2000, Reunion Island, France, pp.25-42.
⟨inria-00099178⟩