37 search results - page 5 / 8 » Explicitly Typed Exceptions for Haskell |
120
Voted
ESORICS
2009
Springer
15 years 6 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
131
Voted
JCSS
2002
15 years 2 months ago
2002
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...
150
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
129
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
We present the result of our work on use of genetic programming for evolving social behavior of agents situated in inherently cooperative environment. We use predators-prey pursuit...
108
Voted
TCS
2010
15 years 28 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...