Programming Images in ML (1992)

by Emmanuel Chailloux, Guy Cousineau
Venue:In Proccedings of the ACM SIGPLAN Workshop on ML and its Applications