Jean-Christophe Filliâtre, and Julien Signoles. Designing a generic graph library using ML functors (2008)

by Sylvain Conchon
Venue:Trends in Functional Programming, volume 8. Intellect