This paper presents a simple, powerful and flexible tech- nique for reasoning about and translating the goal-directed evaluation of programming language ...
確定! 回上一頁