%0 Journal Article %1 journals/pacmpl/VasilenkoVB22 %A Vasilenko, Elizaveta %A Vazou, Niki %A Barthe, Gilles %D 2022 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 596-624 %T Safe couplings: coupled refinement types. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#VasilenkoVB22 %V 6

@article{journals/pacmpl/VasilenkoVB22, added-at = {2023-08-28T00:00:00.000+0200}, author = {Vasilenko, Elizaveta and Vazou, Niki and Barthe, Gilles}, biburl = {https://www.bibsonomy.org/bibtex/2904b6be596e33da634bdaef1044dd21f/dblp}, ee = {https://www.wikidata.org/entity/Q114070937}, interhash = {443099115895cc47a98b1e964e84fdb8}, intrahash = {904b6be596e33da634bdaef1044dd21f}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {596-624}, timestamp = {2024-04-08T09:54:20.000+0200}, title = {Safe couplings: coupled refinement types.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#VasilenkoVB22}, volume = 6, year = 2022 }