Now showing items 1-2 of 2

  • Dahl, Ole-Johan; Kristoffersen, Bjørn (Research report / Forskningsrapport, 1995)
    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 ...
  • Dahl, Ole-Johan; Owe, Olaf (Research report / Forskningsrapport, 1995)
    ABEL is a wide spectrum language developed at the University of Oslo. The applicative core of ABEL is a typed first order language with subtypes and partial functions. The paper presents a constructive fragment of the core, ...