%0 Unpublished Work %1 Mossakowski98a %A Mossakowski, Till %D 1998 %K CASL functional programming sublanguage %T Two "functional programming" sublanguages of CASL %U http://www.informatik.uni-bremen.de/cofi/old/Notes/L-9/index.html %X We define two sublanguages of CASL that can be easily mapped to functional programs. One of them allows to specify arbitrary partial recursive functions, the other one is restricted to total recursive functions.

@unpublished{Mossakowski98a, abstract = {We define two sublanguages of CASL that can be easily mapped to functional programs. One of them allows to specify arbitrary partial recursive functions, the other one is restricted to total recursive functions.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/2615c94e4c38062b298f230229cb4c585/tillmo}, interhash = {6479da70c24014adc0fd07c6cc4d7091}, intrahash = {615c94e4c38062b298f230229cb4c585}, keywords = {CASL functional programming sublanguage}, note = {CoFI note L-9}, status = {Other}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Two "functional programming" sublanguages of CASL}, url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/L-9/index.html}, year = 1998 }