5096 search results - page 411 / 1020 » Associations as a Language Construct |
185
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
157
click to vote
ESOP
2010
Springer
16 years 5 months ago
2010
Springer
Abstract. Program inversion has many applications such as in the implementation of serialization/deserialization and in providing support for redo/undo, and has been studied by man...
209
click to vote
VL
2009
IEEE
16 years 2 months ago
2009
IEEE
For developers debugging their own code, augmenting the code of others, or trying to learn the implementation details of interactive behaviors, understanding how web pages work is...
175
click to vote
SEMWEB
2009
Springer
16 years 2 months ago
2009
Springer
Ontologies are entities that evolve over time, therefore it is essential to represent and manage changes to ontologies along with the ontologies themselves. In this paper we propos...
151
click to vote
CICLING
2007
Springer
16 years 1 months ago
2007
Springer
Ambiguous person names are a problem in many forms of written text, including that which is found on the Web. In this paper we explore the use of unsupervised clustering techniques...