A Treatment of Higher-Order Features in Logic Programming (2003)

by Gopalan Nadathur
Citations:4 - 0 self