@unpublished{HaxthausenEtAl98,
  abstract = {We present a proposal for the design of the higher-order extension of CASL. For each design step, we have tried to find the best of several possible alternatives, give a motivation for the preferred alternative and argue why the other alternatives are not taken.

This note discusses function spaces, product types, partial functions, predicates, subsorting, signature morphisms and -abstraction. A forthcoming note will be devoted to polymorphism, type constructors and dependent types. A companion note, replacing L-2, will explain the formal details of the proposal made in this note. },
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Haxthausen, Anne and Krieg-Br{\"u}ckner, Bernd and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2e5e354af6df0c78758acf3b3416460e5/tillmo},
  interhash = {a43522616df7b633994e10ceec6aa28a},
  intrahash = {e5e354af6df0c78758acf3b3416460e5},
  keywords = {CASL design higher-order},
  note = {CoFI note L-8},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Extending CASL with higher-order functions -- design proposal},
  url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/L-8/index.html},
  year = 1998
}