Backtracking iterators (2006)

Cached

Download Links

by Jean-christophe Filliâtre
Venue:in "ACM SIGPLAN Workshop on ML
Citations:4 - 0 self