Monter d'un niveau |
Argon, P., Mullins, J., & Roux, O. (juillet 1996). A correct compiler construction using Coq [Communication écrite]. Workshop on Proof Search in Type-Theoretic Languages (CADE 1996), New Brunswick, USA. Non disponible
Hains, G., & Mullins, J. (août 1996). A categorical model of array domains [Communication écrite]. 2nd International Euro-Par Conference on Parallel Processing (Euro-Par 1996), Lyon, France. Non disponible