The Generation of a Higher-Order Online Partial Evaluator (1995)

by Peter Thiemann , Robert Glück
Citations:6 - 3 self