EasyChair Smart Slide
What is the Foreign Function Interface of the Coq Programming Language?
What is the Foreign Function Interface of the Coq Programming Language?