%0 Journal Article %1 journals/corr/abs-2307-15463 %A Kawamata, Fuga %A Unno, Hiroshi %A Sekiyama, Taro %A Terauchi, Tachio %D 2023 %J CoRR %K dblp %T Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. %U http://dblp.uni-trier.de/db/journals/corr/corr2307.html#abs-2307-15463 %V abs/2307.15463

@article{journals/corr/abs-2307-15463, added-at = {2023-08-02T00:00:00.000+0200}, author = {Kawamata, Fuga and Unno, Hiroshi and Sekiyama, Taro and Terauchi, Tachio}, biburl = {https://www.bibsonomy.org/bibtex/21bc724b01c3cdf71ce452f175a5bd033/dblp}, ee = {https://doi.org/10.48550/arXiv.2307.15463}, interhash = {6f5771decb90b613eda4b4b29789d2ec}, intrahash = {1bc724b01c3cdf71ce452f175a5bd033}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:31:54.000+0200}, title = {Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2307.html#abs-2307-15463}, volume = {abs/2307.15463}, year = 2023 }