{"_id":"YTBGLP5ue9YMTrLCo","bibbaseid":"sands-acompositionalsemanticsofcombiningformsforgrammaprograms-1993","downloads":0,"creationDate":"2017-02-03T08:36:24.303Z","title":"A Compositional Semantics of Combining Forms for Gramma Programs","author_short":["Sands, D."],"year":1993,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Sands:David","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]}],"title":"A Compositional Semantics of Combining Forms for Gramma Programs","booktitle":"Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings","pages":"43--56","year":"1993","crossref":"DBLP:conf/ershov/1993","url":"http://dx.doi.org/10.1007/BFb0039699","doi":"10.1007/BFb0039699","timestamp":"Thu, 17 Sep 2009 01:00:00 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/ershov/Sands93","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/ershov/Sands93,\n author = {David Sands},\n title = {A Compositional Semantics of Combining Forms for Gramma Programs},\n booktitle = {Formal Methods in Programming and Their Applications, International\n Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2,\n 1993, Proceedings},\n pages = {43--56},\n year = {1993},\n crossref = {DBLP:conf/ershov/1993},\n url = {http://dx.doi.org/10.1007/BFb0039699},\n doi = {10.1007/BFb0039699},\n timestamp = {Thu, 17 Sep 2009 01:00:00 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/ershov/Sands93},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Sands, D."],"key":"DBLP:conf/ershov/Sands93","id":"DBLP:conf/ershov/Sands93","bibbaseid":"sands-acompositionalsemanticsofcombiningformsforgrammaprograms-1993","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/BFb0039699"},"downloads":0},"search_terms":["compositional","semantics","combining","forms","gramma","programs","sands"],"keywords":[],"authorIDs":[],"dataSources":["GciRpJR9wsHeLoGmf"]}