From Interpreter to Logic Engine by Defunctionalization (2004)

Cached

Download Links

by Dariusz Biernacki , Olivier Danvy
Citations:19 - 12 self