1932 search results - page 23 / 387 » A Functional Quantum Programming Language |
131
Voted
FOAL
2009
ACM
15 years 9 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
119
Voted
ENTCS
2007
15 years 2 months ago
2007
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
114
Voted
PLPV
2010
ACM
15 years 11 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
115
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...
104
Voted
IFL
2007
Springer
15 years 8 months ago
2007
Springer
