Renaud Rioboo, Le Projet Focal, M. Jaume, R. Rioboo, D. Doligez, P. Weis, ...
Un survol de FoCaL Le système manipule des entités qui appartiennent à des collections (e in c) qui sont décrites par des espèces (c is s) Les espèces (species) • spécifient des opérations...
Polymorphic data types, objects, modules and functors: is it too much (2000)
S. Boulme, T. Hardin, R. Rioboo
Abstraction is a powerful tool for developers and it is o ered by numerous features such as polymorphism, classes, modules and functors,... A working programmer may be confused with this abundance....
Polymorphic data types, objects, modules and functors: is it too much (2000)
Abstraction is a powerful tool for developers and it is offered by numerous features such as polymorphism, classes, modules and functors,... A working programmer may be confused with this abundance....