Towards Partial Evaluation of Full Scheme (1996)

by Peter Thiemann
Venue:Reflection 96
Citations:13 - 4 self