2394 search results - page 15 / 479 » Implementing Mobile Haskell |
ENTCS
2008
13 years 7 months ago
2008
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
CASC
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Residue systems present a well-known way to reduce computation cost for symbolic computation. However most residue systems are implemented for integers or polynomials. Th...
PADL
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
TCS
2010
13 years 6 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Mobile learning technologies have the potential to revolutionize distance education by bringing the concept of anytime and anywhere to reality. However, the development of mobile ...