4190 search results - page 9 / 838 » Type Class Directives |
HASKELL
2006
ACM
14 years 1 months 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...
FLOPS
2010
Springer
14 years 2 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 ...
IACR
2011
12 years 7 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...
AAAI
2000
13 years 9 months ago
2000
LFP
1992
13 years 8 months ago
1992