Login / Signup

A computational approach to reflective meta-reasoning about languages with bindings.

Aleksey NoginAlexei KopylovXin YuJason Hickey
Published in: MERLIN (2005)
Keyphrases