1626 search results - page 44 / 326 » Subtyping with Power Types |
99
Voted
LREC
2010
15 years 4 months ago
2010
We are in the process of creating a multi-representational and multi-layered treebank for Hindi/Urdu (Palmer et al., 2009), which has three main layers: dependency structure, pred...
136
Voted
GI
1997
Springer
15 years 6 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
210
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
128
Voted
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
105
Voted
TPHOL
1996
IEEE
15 years 6 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...