Browsing Titles index "Gestion manuelle et sécuritaire de la mémoire en Typer"
Now showing items 1-1 of 1
-
Gestion manuelle et sécuritaire de la mémoire en Typer
(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 ...