31686 search results - page 321 / 6338 » Resource typing in Guru |
124
Voted
ICFP
2005
ACM
16 years 23 days ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
107
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
82
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
103
Voted
GEOINFO
2004
15 years 2 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...
131
Voted
EAAI
2006
15 years 25 days ago
2006
Type-2 fuzzy sets, which are characterized by membership functions (MFs) that are themselves fuzzy, have been attracting interest. This paper focuses on advancing the understandin...