4190 search results - page 24 / 838 » Type Class Directives |
PLPV
2009
ACM
15 years 11 months ago
2009
ACM
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
129
Voted
ISKI
1992
15 years 6 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
116
Voted
JSYML
2008
15 years 2 months ago
2008
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...
154
Voted
ESORICS
2012
Springer
13 years 4 months ago
2012
Springer
With more than 300 million cards sold, HID iClass is one of the most popular contactless smart cards on the market. It is widely used for access control, secure login and payment s...
131
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...