S.: Combinators for logic programming (0)

by M Spivey, Seres
Venue:The Fun of Programming