Documents publiés en "1996"

Département de génie électrique

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

Département de génie informatique et génie logiciel

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