%0 Conference Paper %1 conf/flops/VandenbrouckeS24 %A Vandenbroucke, Alexander %A Schrijvers, Tom %B FLOPS %D 2024 %E Gibbons, Jeremy %E Miller, Dale %I Springer %K dblp %P 99-114 %T Declarative Pearl: Rigged Contracts. %U http://dblp.uni-trier.de/db/conf/flops/flops2024.html#VandenbrouckeS24 %V 14659 %@ 978-981-97-2300-3

@inproceedings{conf/flops/VandenbrouckeS24, added-at = {2024-06-18T00:00:00.000+0200}, author = {Vandenbroucke, Alexander and Schrijvers, Tom}, biburl = {https://www.bibsonomy.org/bibtex/234a5d17cc71b44e431ec8e0d07cd203b/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2024}, editor = {Gibbons, Jeremy and Miller, Dale}, ee = {https://doi.org/10.1007/978-981-97-2300-3_6}, interhash = {a2571bdc90250e0dac2023d7b733fc0c}, intrahash = {34a5d17cc71b44e431ec8e0d07cd203b}, isbn = {978-981-97-2300-3}, keywords = {dblp}, pages = {99-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-24T07:37:18.000+0200}, title = {Declarative Pearl: Rigged Contracts.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2024.html#VandenbrouckeS24}, volume = 14659, year = 2024 }