Sciweavers

316 search results - page 12 / 64
» Subtyping Union Types
Sort
View
72
Voted
CSR
2006
Springer
15 years 5 months ago
Polarized Subtyping for Sized Types
Andreas Abel
95
Voted
FSTTCS
2000
Springer
15 years 5 months ago
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
Jan-Georg Smaus, François Fages, Pierre Der...
113
Voted
ANLP
2000
139views more  ANLP 2000»
15 years 3 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
ESOP
2009
Springer
15 years 8 months ago
Global Principal Typing in Partially Commutative Asynchronous Sessions
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda