52 search results - page 11 / 11 » On the Relationship of Defeasible Argumentation and Answer S... |
POPL
2010
ACM
14 years 2 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...
CACM
2008
13 years 5 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 ...