TY  - RPRT
TI  - Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
AU  - David S. Warren
AU  - Peter Van Roy
AU  - Yanhong A. Liu
PY  - 2022
UR  - https://arxiv.org/abs/2211.09923
ID  - 2211.09923
ER  -