13734 search results - page 225 / 2747 » Abstractions of data types |
135
click to vote
FLOPS
2010
Springer
16 years 11 days ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
176
click to vote
ADAEUROPE
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
157
click to vote
ISMIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
147
click to vote
ACNS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The use of biometrics, and fingerprint recognition in particular, for cardholder authentication in smartcard systems is growing in popularity, and such systems are the f...
161
click to vote
FORTE
2001
15 years 7 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...