4743 search results - page 181 / 949 » Introduction to Functional Programming |
172
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
148
click to vote
ICFP
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
137
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
We present classical simulation techniques for measure once quantum branching programs. For bounded error syntactic quantum branching program of width w that computes a function w...
180
click to vote
IASSE
2003
15 years 7 months ago
2003
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
168
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...