Actor Induction and Meta-Evaluation.

Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger

Browse the full POPL paper archive.