52 search results - page 11 / 11 » On the Relationship of Defeasible Argumentation and Answer S... |
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...
104
click to vote
CACM
2008
14 years 11 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...