3001 search results - page 97 / 601 » Recursive type generativity |
115
click to vote
GEOINFO
2004
15 years 4 months ago
2004
: The purpose of the WFS specification, proposed by the the OpenGIS Consortium (OGC), is to describe the manipulation operations over geospatial data using GML. Web servers providi...
108
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
120
Voted
ECOOP
1997
Springer
15 years 6 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
122
Voted
JFP
2008
15 years 1 months ago
2008
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
116
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...