Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- S. Boulmé : “Specifying in Coq inheritance used in Computer Algebra Libraries”, [Boulmé 2000b]
- S. Boulmé, Th. Hardin, R. Rioboo : “Polymorphic Data Types, Objects, Modules and Functors: is it too.much.?”, [Boulmé 2000c]