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

by Gopalan Nadathur
Citations:5 - 0 self