1626 search results - page 14 / 326 » Subtyping with Power Types |
121
click to vote
ANLP
2000
15 years 3 months ago
2000
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...
71
Voted
JOT
2002
15 years 2 months ago
2002
211
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
219
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
195
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...