Skip to content

Minimal and Optimal Computations of Recursive Programs.

Grard Berry, Jean-Jacques Lvy

VenueA*POPL
Year1977
ProceedingsPOPL

Browse the full POPL paper archive.