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 speci cation and programming language ABEL could be extended with higher order functions. Several issues arise, related to subtyping, parameterization, strictness of generators and de ned 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

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…