A.‑G. Bosser, M.‑V. Aponte, P. Courtieu, J. Forest : “Une preuve est une histoire”, Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Saint-Malo, France (2016)
M.‑V. Aponte, V. Benayoun, M. Simonot : “Modélisations de la reconfiguration dynamique en Focal”, AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse, X, France, pp. 105-119 (2009)
M.‑V. Aponte, E. Chailloux, G. Cousineau, P. Manoury : “Advanced programming features in objective caml.”, 6eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, X, France (2002)
M.‑V. Aponte, R. Dicosmo : “Type isomorphisms for module signatures”, Symposium on Programming Language Implementation and Logic Programming (PLILP), LNCS, X, France, pp. 334-346 (1996)