• Mathematics, Computer Science
  • Published in Nord. J. Comput. 1998

On Introducing Higher Order Functions in ABEL

@article{Kristoffersen1998OnIH,
  title={On Introducing Higher Order Functions in ABEL},
  author={Bj{\o}rn Kristoffersen and Ole-Johan Dahl},
  journal={Nord. J. Comput.},
  year={1998},
  volume={5}
}
We discuss how the 1'st order specification and programming language ABEL could be extended with higher order functions. Several issues arise, related to subtyping, parameterization, strictness of generators and defined functions, and to the choice between lambda expressions and currying. The paper can be regarded as an exercise in language design: how to introduce higher order functions under the restrictions enforced by (1'st order) ABEL. A technical result is a soundness proof for covariant… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 10 REFERENCES