2646 search results - page 48 / 530 » Local Type Inference |
90
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
224
click to vote
SIGMOD
2000
ACM
15 years 4 months ago
2000
ACM
XML is rapidly emerging as the new standard for data representation and exchange on the Web. An XML document can be accompanied by a Document Type Descriptor (DTD) which plays the...
116
Voted
CORR
2008
Springer
15 years 18 days ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
106
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Botnets dominate today's attack landscape. In this work we investigate ways to analyze collections of malicious probing traffic in order to understand the significance of lar...