Prological Features In A Functional Setting Axioms And Implementations (1998)

by Ralf Hinze
Venue:In Third Fuji Int. Symp. on Functional and Logic Programming
Citations:5 - 0 self