✓
🟢
Active Research Lab • Accepting 2026–2027 Inquiries
Dr. Enrico T***
Chargé de recherche
📍 Laboratoire de l'Informatique du Parallélisme
•
INRIA
440
Total Citations
7
H-Index
36
Peer-Reviewed Works
🔬 Primary Research Focus & Keywords
Hierarchy
Builders
Factory
Structure
Class
Mixin
Inference
Forgetful inheritance
Instance
Instance Inference System
Coherence of Inference Path
Operator shifting
Semantic
Semantics
Builder
Shifters
Instances
Cut
Logic Programming
Higher Order
Determinacy Analysis
Functionality
Elpi
Determinacy
Checking
Higher-order
Logic
Programming
Language
Rocq
OCaml
CHR
📚 Laboratory Publications & Research Record
2024
Peer-Reviewed Article
📊 22 citations
Advancements in Hierarchy: Contemporary Methods & Empirical Analysis
📖 Journal of Laboratoire de l'Informatique du Parallélisme
👥 Other Supervisors in Laboratoire de l'Informatique du Parallélisme
Loris M***
Chargé de recherche • Laboratoire de l'Informatique du Parallélisme
Alain P***
Chargé de recherche • Laboratoire de l'Informatique du Parallélisme
Yannick Z***
Directeur de recherche • Laboratoire de l'Informatique du Parallélisme
Ludovic H***
Chargé de recherche • Laboratoire de l'Informatique du Parallélisme