Scholar
Frédéric Dabrowski
Google Scholar ID: zZDkIM4AAAAJ
Université d'Orléans
Sémantique des langages de programmation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
189
H-index
8
i10-index
8
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
3 items
Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 Effects
2026
Cited
0
Kairos: Generating Tick-Indexed Proof Obligations for Synchronous Temporal Contracts
2026
Cited
0
Functional Reactive Programming with Effects, A More Permissive Approach
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
