✓
🟢
Active Research Lab • Accepting 2026–2027 Inquiries
Dr. Martin B***
Directeur de recherche
📍 Centre Inria de l'Université Grenoble Alpes
•
INRIA
440
Total Citations
7
H-Index
36
Peer-Reviewed Works
🔬 Primary Research Focus & Keywords
Cosmetyc
Openstreetmap
Ocaml
Typechecking
Overloading
Programming
Languages
Mechanized
Mathematics
Logique
Dualité
Médiation
Jeu
Plateau
Comprendre
Dualit
Registres sémiotiques
Instrumentation
Assistant de preuve
Association
Registres
Miotiques
Assistant
Preuve
Formal Semantics
Free Monad
Coq
Algebraic Effects
Effectful
Across
Heterogeneous
Computations
📚 Laboratory Publications & Research Record
2024
Peer-Reviewed Article
📊 22 citations
Advancements in Cosmetyc: Contemporary Methods & Empirical Analysis
📖 Journal of Centre Inria de l'Université Grenoble Alpes
👥 Other Supervisors in Centre Inria de l'Université Grenoble Alpes
Bernard T***
Professeur des universités • Centre Inria de l'Université Grenoble Alpes
Guillaume M***
Maître de conférences • Centre Inria de l'Université Grenoble Alpes
Alexandre da Silva V***
Maître de conférences • Centre Inria de l'Université Grenoble Alpes
Sophie C***
Directeur de recherche • Centre Inria de l'Université Grenoble Alpes