%0 Conference Paper %1 journals/corr/SilvaFP17 %A Silva, Miguel E. P. %A Florido, Mário %A Pfenning, Frank %B LINEARITY %D 2016 %E Cervesato, Iliano %E Fernández, Maribel %K dblp %P 64-72 %T Non-Blocking Concurrent Imperative Programming with Session Types. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs238.html#SilvaFP17 %V 238

@inproceedings{journals/corr/SilvaFP17, added-at = {2022-07-22T00:00:00.000+0200}, author = {Silva, Miguel E. P. and Florido, Mário and Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2e85aa98aeb97acbf2128a7b1630c4ba5/dblp}, booktitle = {LINEARITY}, crossref = {journals/corr/CervesatoF17}, editor = {Cervesato, Iliano and Fernández, Maribel}, ee = {http://arxiv.org/abs/1701.04920}, interhash = {899807040c461083b7747431cbf501e9}, intrahash = {e85aa98aeb97acbf2128a7b1630c4ba5}, keywords = {dblp}, pages = {64-72}, series = {EPTCS}, timestamp = {2024-04-10T17:16:06.000+0200}, title = {Non-Blocking Concurrent Imperative Programming with Session Types.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs238.html#SilvaFP17}, volume = 238, year = 2016 }