4421 search results - page 222 / 885 » Libraries |
124
Voted
JFP
2002
15 years 1 months ago
2002
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
109
Voted
DKE
1999
15 years 1 months ago
1999
Subject-based classi
COMPSEC
2010
14 years 10 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
84
Voted
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. Multi parameter typ...
112
click to vote
CANS
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the design of a fast multi-core library for the cryptographic Tate pairing over supersingular elliptic curves. For the computation of the reduced modified Tat...