Higher-Order Transformation of Logic Programs (2000)

Cached

Download Links

by Silvija Seres , Mike Spivey
Venue:In Proceedings of the Tenth International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000
Citations:5 - 1 self