Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify such reasoning
The significance of functional programming is revealed as that the feasible approach to language ext...
Functional and logic programming are the most important declarative programming paradigms, and inter...
This article explores relationships between imperative and functional programming by viewing a progr...
Functional programmers often reason about programs as if they were written in a total language, expe...
This thesis addresses the problem of avoiding errors in functional programs. The thesis has three pa...
Programmers don't just have to write programs, they are have to reason about them. Programming langu...
The significance of functional programming is revealed as that the feasible approach to language ext...
Two fundamental goals in programming are correctness and efficiency: we want our programs to produce...
It is often claimed that functional programming languages, and in particular pure functional langua...
The continuous need for more ambitious, more complex, and more dependable software systems demands m...
The continuous need for more ambitious, more complex, and more dependable software systems demands m...
Approximate program transformations such as task skipping [27, 28], loop perforation [20, 21, 32], m...
ing out and studying those patterns of computation as useful objects in their own right leads to fur...
Most dependently-typed programming languages either require that all expressions terminate (e.g. Coq...
This thesis consists of two parts. Both concern reasoning about non-strict functional programming la...
The significance of functional programming is revealed as that the feasible approach to language ext...
Functional and logic programming are the most important declarative programming paradigms, and inter...
This article explores relationships between imperative and functional programming by viewing a progr...
Functional programmers often reason about programs as if they were written in a total language, expe...
This thesis addresses the problem of avoiding errors in functional programs. The thesis has three pa...
Programmers don't just have to write programs, they are have to reason about them. Programming langu...
The significance of functional programming is revealed as that the feasible approach to language ext...
Two fundamental goals in programming are correctness and efficiency: we want our programs to produce...
It is often claimed that functional programming languages, and in particular pure functional langua...
The continuous need for more ambitious, more complex, and more dependable software systems demands m...
The continuous need for more ambitious, more complex, and more dependable software systems demands m...
Approximate program transformations such as task skipping [27, 28], loop perforation [20, 21, 32], m...
ing out and studying those patterns of computation as useful objects in their own right leads to fur...
Most dependently-typed programming languages either require that all expressions terminate (e.g. Coq...
This thesis consists of two parts. Both concern reasoning about non-strict functional programming la...
The significance of functional programming is revealed as that the feasible approach to language ext...
Functional and logic programming are the most important declarative programming paradigms, and inter...
This article explores relationships between imperative and functional programming by viewing a progr...
DOI
Add to ORKG