%0 Journal Article %1 journals/darts/ZhangSO21 %A Zhang, Weixin %A Sun, Yaozhu %A d. S. Oliveira, Bruno C. %D 2021 %J Dagstuhl Artifacts Ser. %K dblp %N 2 %P 11:1-11:2 %T Compositional Programming (Artifact). %U http://dblp.uni-trier.de/db/journals/darts/darts7.html#ZhangSO21 %V 7

@article{journals/darts/ZhangSO21, added-at = {2021-07-06T00:00:00.000+0200}, author = {Zhang, Weixin and Sun, Yaozhu and d. S. Oliveira, Bruno C.}, biburl = {https://www.bibsonomy.org/bibtex/249e18c3366cb2ba917a267f0d3c4b5cd/dblp}, ee = {https://doi.org/10.4230/DARTS.7.2.11}, interhash = {e4b847ad9678b69185722f44bb50675f}, intrahash = {49e18c3366cb2ba917a267f0d3c4b5cd}, journal = {Dagstuhl Artifacts Ser.}, keywords = {dblp}, number = 2, pages = {11:1-11:2}, timestamp = {2024-04-08T12:47:41.000+0200}, title = {Compositional Programming (Artifact).}, url = {http://dblp.uni-trier.de/db/journals/darts/darts7.html#ZhangSO21}, volume = 7, year = 2021 }