Lazy and Faithful Assertions for Functional Logic Programs

by Michael Hanus
Citations:2 - 1 self