Skip to main content

Prological Features in a Functional Setting — Axioms and Implementations

Ralf Hinze

Address
Singapore‚ New Jersey‚ London‚ Hong Kong
Book Title
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming (FLOPS '98)
Editor
Sato‚ Masahiko and Toyama‚ Yoshihito
ISBN
ISBN 981−02−3384−1
Location
Kyoto‚ Japan
Month
apr
Pages
98–122
Publisher
World Scientific
Year
1998