4190 search results - page 9 / 838 » Type Class Directives |
179
Voted
HASKELL
2006
ACM
16 years 19 days ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
192
Voted
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
157
Voted
IACR
2011
14 years 6 months ago
2011
An MDS matrix is an important building block adopted by different algorithms that provides diffusion and therefore, has been an area of active research. In this paper, we present a...
107
Voted
AAAI
2000
15 years 8 months ago
2000