A compiled implementation of strong reduction (2002)

by B Grégoire, X Leroy
Venue:In ACM SIGPLAN Notices