Sciweavers

248 search results - page 11 / 50

» Phantom types and subtyping

98

Voted

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

15 years 9 months ago

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

108

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 8 months ago

Subtyping Functional+Nonempty Record Types

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

91

CSR
2006
Springer

68views Theoretical Computer Science» more CSR 2006»

Polarized Subtyping for Sized Types

15 years 7 months ago

Polarized Subtyping for Sized Types

Download www2.tcs.ifi.lmu.de

Andreas Abel

claim paper

Read More »

112

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

15 years 7 months ago

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

Download hal.archives-ouvertes.fr

Jan-Georg Smaus, François Fages, Pierre Der...

claim paper

Read More »

133

ANLP
2000

139views more ANLP 2000»

A Hybrid Approach for Named Entity and Sub-Type Tagging

15 years 5 months ago

A Hybrid Approach for Named Entity and Sub-Type Tagging

Download acl.ldc.upenn.edu

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

claim paper

Read More »

« Prev « First page 11 / 50 Last » Next »