4895 search results - page 461 / 979 » Functional Quantum Programming |
190
click to vote
TYPES
1999
Springer
15 years 11 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
170
click to vote
ICFP
1998
ACM
15 years 11 months ago
1998
ACM
H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Lang...
156
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...
212
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
189
click to vote
HOTOS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...