%0 Journal Article %1 journals/pacmpl/IkebuchiEC22 %A Ikebuchi, Mirai %A Erbsen, Andres %A Chlipala, Adam %D 2022 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1-31 %T Certifying derivation of state machines from coroutines. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#IkebuchiEC22 %V 6

@article{journals/pacmpl/IkebuchiEC22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Ikebuchi, Mirai and Erbsen, Andres and Chlipala, Adam}, biburl = {https://www.bibsonomy.org/bibtex/283f7c73d3750439e098e48ceffb47dd0/dblp}, ee = {https://doi.org/10.1145/3498685}, interhash = {540795ad4841f28b62a6b55057f611e5}, intrahash = {83f7c73d3750439e098e48ceffb47dd0}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {1-31}, timestamp = {2024-04-08T09:54:06.000+0200}, title = {Certifying derivation of state machines from coroutines.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#IkebuchiEC22}, volume = 6, year = 2022 }