4716 search results - page 173 / 944 » Tangible functional programming |
186
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
168
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...
145
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...
136
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...
178
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 ...