704 search results - page 75 / 141 » A Note on Typing Feature Structures |
101
Voted
SSPR
2004
Springer
15 years 8 months ago
2004
Springer
Kernel Methods are a class of algorithms for pattern analysis with a number of convenient features. They can deal in a uniform way with a multitude of data types and can be used to...
96
Voted
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
140
Voted
EWDW
1990
15 years 6 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
230
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
239
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...