%0 Conference Paper %1 conf/esop/ChenK24 %A Chen, Liang-Ting %A Ko, Hsiang-Shang %B ESOP (1) %D 2024 %E Weirich, Stephanie %I Springer %K dblp %P 115-142 %T A Formal Treatment of Bidirectional Typing. %U http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#ChenK24 %V 14576 %@ 978-3-031-57262-3

@inproceedings{conf/esop/ChenK24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Chen, Liang-Ting and Ko, Hsiang-Shang}, biburl = {https://www.bibsonomy.org/bibtex/2a2d46a49efd134214f62873e8f70f0f8/dblp}, booktitle = {ESOP (1)}, crossref = {conf/esop/2024-1}, editor = {Weirich, Stephanie}, ee = {https://doi.org/10.1007/978-3-031-57262-3_5}, interhash = {ec8a80ed1246536a01cea91882ec4b6a}, intrahash = {a2d46a49efd134214f62873e8f70f0f8}, isbn = {978-3-031-57262-3}, keywords = {dblp}, pages = {115-142}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:03:27.000+0200}, title = {A Formal Treatment of Bidirectional Typing.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#ChenK24}, volume = 14576, year = 2024 }