Inheritance as implicit coercion. Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov. Research output: Contribution to journal › Article ...
確定! 回上一頁