51 search results - page 8 / 11 » haskell 2008 |
111
Voted
ENTCS
2008
15 years 8 days ago
2008
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
102
click to vote
ENTCS
2008
15 years 8 days 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...
112
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
102
Voted
APLAS
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
101
click to vote
JUCS
2008
15 years 5 days ago
2008
: Proxima is a generic structure editor suitable for a wide range of structured document types. It allows edit operations on the document structure as well as on its screen represe...