Illustration de l'article : Méthodes gardées en OCaml (2022)

Implémentation de “méthodes gardées” en utilisant des témoins d’égalités de types

Commentaires

Vous devez vous inscrire ou vous connecter pour poster un commentaire