ASDL

Abstract-Type and Scheme-Definition Language