Dynamics in ML (1993)

by Xavier Leroy, Michel Mauny, Inria Rocquencourt