Add to ORKGAbstract We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, e cient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language working and in-place array updates
Meta-programming is a discipline of writing programs in a certain programming language that generate...
The structure of monadic functional programs allows the integration of many different features by ju...
A monad is presented which is suitable for writing concurrent programs in a purely functional progra...
This paper explores the use monads to structure functional programs. No prior knowledge of monads or...
In the world of programming, there are many kinds of languages from which to choose. These varied la...
Abstract. This paper describes a purely functional dialect of the algorithmic programming language S...
The rift between imperative and functional programming is one of the oldest in computing. Imperative...
Abstract. Monads are a technique widely used in functional program-ming languages to address many di...
Functional programming languages have traditionally lacked complete, flexible, and yet referentially...
This paper describes MIL, a monadic intermediate language that is designed for use in optimizing c...
AbstractWe elaborate our relational model of non-strict, imperative computations. The theory is exte...
In this paper, we present an imperative language enhanced with higher-order functions, function curr...
AbstractThe structure of monadic functional programs allows the integration of many different featur...
In recent work, Swarup, Reddy, and Ireland defined a formal system called Imperative Lambda Calculus...
Abstract. We propose a form of input and output for functional languages that is in a sense orthogon...
Meta-programming is a discipline of writing programs in a certain programming language that generate...
The structure of monadic functional programs allows the integration of many different features by ju...
A monad is presented which is suitable for writing concurrent programs in a purely functional progra...
This paper explores the use monads to structure functional programs. No prior knowledge of monads or...
In the world of programming, there are many kinds of languages from which to choose. These varied la...
Abstract. This paper describes a purely functional dialect of the algorithmic programming language S...
The rift between imperative and functional programming is one of the oldest in computing. Imperative...
Abstract. Monads are a technique widely used in functional program-ming languages to address many di...
Functional programming languages have traditionally lacked complete, flexible, and yet referentially...
This paper describes MIL, a monadic intermediate language that is designed for use in optimizing c...
AbstractWe elaborate our relational model of non-strict, imperative computations. The theory is exte...
In this paper, we present an imperative language enhanced with higher-order functions, function curr...
AbstractThe structure of monadic functional programs allows the integration of many different featur...
In recent work, Swarup, Reddy, and Ireland defined a formal system called Imperative Lambda Calculus...
Abstract. We propose a form of input and output for functional languages that is in a sense orthogon...
Meta-programming is a discipline of writing programs in a certain programming language that generate...
The structure of monadic functional programs allows the integration of many different features by ju...
A monad is presented which is suitable for writing concurrent programs in a purely functional progra...