"Designing a Generic Graph Library Using ML Functors."

Sylvain Conchon, Jean-Christophe Filliâtre, Julien Signoles (2007)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2013-06-03