Sciweavers

2565 search results - page 68 / 513
» Object type constructors
Sort
View
SAC
2006
ACM
14 years 2 months ago
Union types for object-oriented programming
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
Atsushi Igarashi, Hideshi Nagira
OOPSLA
1989
Springer
14 years 28 days ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman
POPL
2010
ACM
14 years 6 months ago
Integrating Typed and Untyped Code in a Scripting Language
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...
Francesco Zappa Nardelli, Jan Vitek, Johan Ös...
GEOINFO
2004
13 years 10 months ago
Towards Automatic Feature Type Publication
: 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...
Vânia Maria Ponte Vidal, Marcel Teixeira, F&...
EAAI
2006
161views more  EAAI 2006»
13 years 9 months ago
Genetic learning and performance evaluation of interval type-2 fuzzy logic controllers
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...
Dongrui Wu, Woei Wan Tan