Browsing Technical Reports (Electrical Engineering and Computer Science) by Subject "Haskell"

Now showing items 1-3 of 3

Compiling generic mathematical tool descriptions into Fortran

Oregon State University. Dept. of Computer Science; Erwig, Martin; Fu, Zhe (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)

We describe the design of a domain-specific language (DSL) for the specification of generic ocean modeling tools, and we describe the implementation of its compiler. The goal of the DSL is to allow the specification of ...
Monadification of functional programs

Oregon State University. Dept. of Computer Science; Erwig, Martin; Ren, Deling (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)

The structure of monadic functional programs allows the integration of many different features into such programs by just changing the definition of the monad and not the program, which is a desirable feature from a soft ...
An update calculus for expressing type-safe program updates

Oregon State University. Dept. of Computer Science; Erwig, Martin; Ren, Deling (Corvallis, OR : Oregon State University, Dept. of Computer Science, 2002-10)

Many software maintenance problems are caused by using text editors to change programs. A more systematic and reliable way of performing program updates is to express changes with an update language. In particular, up ...