A Compiled Implementation of Strong Reduction (0)

by Benjamin Grégoire, Inria Rocquencourt, Xavier Leroy