Knowledge Tree

researcher / Didier Rémy

Didier Rémy

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Paradeis : un environnement de développement parallèle pour le traitement du creux

Directed Thesis:

Refactoring functional programs with ornaments

Coercions effaçables : une approche unifiée des systèmes de types

Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts

Types et contraintes graphiques : polymorphisme de second ordre et inférence

Typage modulaire des multi-méthodes

Ml f : Une extension de ML avec polymorphisme de second ordre et instanciation implicite