%0 Conference Paper %1 conf/esop/HughesO24 %A Hughes, Jack %A Orchard, Dominic %B ESOP (1) %D 2024 %E Weirich, Stephanie %I Springer %K dblp %P 83-112 %T Program Synthesis from Graded Types. %U http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#HughesO24 %V 14576 %@ 978-3-031-57262-3

@inproceedings{conf/esop/HughesO24, added-at = {2024-05-04T00:00:00.000+0200}, author = {Hughes, Jack and Orchard, Dominic}, biburl = {https://www.bibsonomy.org/bibtex/2f56597a434c358bfcfb821ebaaceaf5b/dblp}, booktitle = {ESOP (1)}, crossref = {conf/esop/2024-1}, editor = {Weirich, Stephanie}, ee = {https://doi.org/10.1007/978-3-031-57262-3_4}, interhash = {3d3b0cd7b49833943a3e3b79300ce4fd}, intrahash = {f56597a434c358bfcfb821ebaaceaf5b}, isbn = {978-3-031-57262-3}, keywords = {dblp}, pages = {83-112}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-06T07:30:13.000+0200}, title = {Program Synthesis from Graded Types.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#HughesO24}, volume = 14576, year = 2024 }