13 search results - page 3 / 3 » Quantum Arrows in Haskell |
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This paper explores the idea that the space-time of a virtual reality could appear to those within it as our space-time does to us. The likely processing needed to do this include...
PADL
2012
Springer
12 years 1 months ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...