Sign in
Designing a Generic Graph Library Using ML Functors.
Sylvain Conchon
Jean-Christophe Filliâtre
Julien Signoles
Published in:
Trends in Functional Programming (2007)
Keyphrases
</>
maximum likelihood
graph structure
graph model
graph matching
graph representation
domain specific
directed graph
stable set
graph theoretic
spanning tree
weighted graph
bipartite graph
random walk
graph theory
directed acyclic graph
graph data
graph construction
graph based algorithm
high level