Sciweavers

5451 search results - page 503 / 1091
» Typed Operational Semantics
Sort
View
ICFP
2008
ACM
16 years 6 months ago
Mixin' up the ML module system
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
Derek Dreyer, Andreas Rossberg
OOPSLA
1995
Springer
15 years 10 months ago
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
Mark Day, Robert Gruber, Barbara Liskov, Andrew C....
ECCV
2008
Springer
16 years 8 months ago
What Is a Good Image Segment? A Unified Approach to Segment Extraction
Abstract. There is a huge diversity of definitions of "visually meaningful" image segments, ranging from simple uniformly colored segments, textured segments, through sym...
Shai Bagon, Oren Boiman, Michal Irani
ECOOP
2007
Springer
16 years 1 months ago
Metaprogramming with Traits
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
John H. Reppy, Aaron Turon
ADBIS
2006
Springer
150views Database» more  ADBIS 2006»
16 years 24 days ago
Design and Implementation of a Document Database Extension
Abstract. Integration of text and documents into database management systems has been the subject of much research. However, most of the approaches are limited to data retrieval. C...
Stefania Leone, Ela Hunt, Thomas B. Hodel, Michael...