Sidebar to this: does anybody know if there's a full list of all the HOPL IV papers with links anywhere? A lot of them sound really interesting but I can't find them.
I tried to get hold of these but seems nearly all mentioned in this web site (in Chinese but easy to read as very light in words) are in here. Still: https://zhuanlan.zhihu.com/p/113124925
Others are seems to be referenced but embargoed (or need membership). If you can access it, please inform:
Now all available:
https://dl.acm.org/toc/pacmpl/2020/4/HOPL
https://news.ycombinator.com/item?id=23509956
I tried to get hold of these but seems nearly all mentioned in this web site (in Chinese but easy to read as very light in words) are in here. Still: https://zhuanlan.zhihu.com/p/113124925
Others are seems to be referenced but embargoed (or need membership). If you can access it, please inform:
https://www.conference-publishing.com/authors.php?Event=HOPL...
Please note as mentioned by others and me that the javascript one discussed here has a new version