Sciweavers

1021 search results - page 11 / 205
» Pure Subtype Systems
Sort
View
ESOP
2005
Springer
14 years 1 months ago
Subtyping First-Class Polymorphic Components
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
João Costa Seco, Luís Caires
ESOP
2008
Springer
13 years 9 months ago
Regular Expression Subtyping for XML Query and Update Languages
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
James Cheney
LICS
1994
IEEE
13 years 11 months ago
Efficient Inference of Object Types
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
Jens Palsberg
ICPADS
2005
IEEE
14 years 1 months ago
A Pure Lazy Technique for Scalable Transaction Processing in Replicated Databases
Recently, there have been proposals for scaling-up a database system using lazy replication. In these proposals, system scale-up is achieved through the addition of secondary site...
Khuzaima Daudjee, Kenneth Salem
ANLP
2000
139views more  ANLP 2000»
13 years 9 months ago
A Hybrid Approach for Named Entity and Sub-Type Tagging
This paper presents a hybrid approach for named entity (NE) tagging which combines Maximum Entropy Model (MaxEnt), Hidden Markov Model (HMM) and handcrafted grammatical rules. Eac...
Rohini K. Srihari