%0 Journal Article %1 journals/pacmpl/VandenbrouckeS20 %A Vandenbroucke, Alexander %A Schrijvers, Tom %D 2020 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 39:1-39:27 %T PλωNK: functional probabilistic NetKAT. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#VandenbrouckeS20 %V 4

@article{journals/pacmpl/VandenbrouckeS20, added-at = {2021-02-17T00:00:00.000+0100}, author = {Vandenbroucke, Alexander and Schrijvers, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2424fe8a423513ffda38b5a154d06f2c0/dblp}, ee = {https://doi.org/10.1145/3371107}, interhash = {ba99c6832b431109c95de45fc72d7053}, intrahash = {424fe8a423513ffda38b5a154d06f2c0}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {39:1-39:27}, timestamp = {2024-04-08T09:55:01.000+0200}, title = {PλωNK: functional probabilistic NetKAT.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#VandenbrouckeS20}, volume = 4, year = 2020 }