Génier, Simon (2023-05-29)
Dans ce mémoire, je présente une technique pour combiner du code de bas niveau à un
langage purement fonctionnel avec types dépendants. Par code de bas niveau, je veux dire
n’importe quel programme écrit dans un langage qui permet le contrôle direct ...