57 search results - page 6 / 12 » A monadic approach to polycategories |
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
112
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
HASKELL
2008
ACM
15 years 3 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
109
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
114
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...