%0 Journal Article %1 journals/scp/HamanaAK20 %A Hamana, Makoto %A Abe, Tatsuya %A Kikuchi, Kentaro %D 2020 %J Sci. Comput. Program. %K dblp %P 102322 %T Polymorphic computation systems: Theory and practice of confluence with call-by-value. %U http://dblp.uni-trier.de/db/journals/scp/scp187.html#HamanaAK20 %V 187

@article{journals/scp/HamanaAK20, added-at = {2020-03-24T00:00:00.000+0100}, author = {Hamana, Makoto and Abe, Tatsuya and Kikuchi, Kentaro}, biburl = {https://www.bibsonomy.org/bibtex/2c11b31dd8661b6f91f27861bb678528c/dblp}, ee = {https://doi.org/10.1016/j.scico.2019.102322}, interhash = {09e226b792af976184dd008ab0aca6ec}, intrahash = {c11b31dd8661b6f91f27861bb678528c}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102322, timestamp = {2020-03-25T11:50:11.000+0100}, title = {Polymorphic computation systems: Theory and practice of confluence with call-by-value.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp187.html#HamanaAK20}, volume = 187, year = 2020 }