1286 search results - page 153 / 258 » From System F to Typed Assembly Language |
PODS
1994
ACM
14 years 1 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
PLDI
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
Language training systems that provide learners adaptive questions on the contents of stories require several capabilities such as semantic analysis, automated question generation ...
LREC
2008
13 years 10 months ago
2008
This paper presents a corpus study of parenthetical constructions in two different corpora: the Penn Discourse Treebank (PDTB, (PDTBGroup, 2008)) and the RST Discourse Treebank (C...