%0 Unpublished Work %1 HaxthausenEtAl98 %A Haxthausen, Anne %A Krieg-Brückner, Bernd %A Mossakowski, Till %D 1998 %K CASL design higher-order %T Extending CASL with higher-order functions -- design proposal %U http://www.informatik.uni-bremen.de/cofi/old/Notes/L-8/index.html %X 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.

@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 }