In the early 80's Oles and Reynolds devised a semantic model of Algol-like languages using a category of functors from a category of store ...
確定! 回上一頁