EasyChair Smart SlideDocs/Log in
Author: Sylvain Boulmé

This page shows all presentations of this author published in 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?

Sylvain Boulmé

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair