This paper proposes and develops the basic theory for a new approach to typing multi-stage languages based a notion of environment classifiers.
確定! 回上一頁