A compiled implementation of strong reduction, in (2002)

by B Grégoire, X Leroy
Venue:Proc. of 2002 ACM SIGPLAN Int. Conf. on Functional Programming, ICFP 2002