@misc{indiciae166c63273e2c, title = {A scheme for dynamically integrating C library functions into a \$λ\$Prolog implementation}, author = {Duanyang Jing}, year = {2019}, url = {https://arxiv.org/abs/1906.03970}, note = {Source identifier: 1906.03970} }