Partial evaluation of metaprograms in a “multiple worlds” logic language

Abstract
No abstract available

This publication has 5 references indexed in Scilit: