Efficient Call-by-value Evaluation Strategy of Primitive Recursive Program Schemes (1995)

by Andrea Mößle , Heiko Vogler
Venue:FUJI INTERNATIONAL WORKSHOP ON FUNCTIONAL AND LOGIC PROGRAMMING, SUSONO JAPAN, PROCEEDINGS