no code implementations • 17 Nov 2022 • David S. Warren, Peter Van Roy, Yanhong A. Liu
This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop.
Formal Logic Position