@Article{ Padovani18, author = {Luca Padovani}, title = {{Deadlock-Free Typestate-Oriented Programming}}, journal = {Programming Journal}, year = {2018}, volume = {2}, issue = {3}, pages = {article 15}, publisher = {AOSA}, url = {https://arxiv.org/pdf/1803.10670}, doi = {10.22152/programming-journal.org/2018/2/15} } @Article{ Padovani18, author = {Luca Padovani}, title = {{Context-Free Session Type Inference}}, journal = {ACM Transactions on Programming Languages and Systems}, year = {to appear}, publisher = {ACM} }