TY  - RPRT
TI  - A scheme for dynamically integrating C library functions into a $λ$Prolog implementation
AU  - Duanyang Jing
PY  - 2019
UR  - https://arxiv.org/abs/1906.03970
ID  - 1906.03970
ER  -