Frédéric Dabrowski

1. Kairos: Generating Tick-Indexed Proof Obligations for Synchronous Temporal Contracts
   2026/07/25 by Frédéric Dabrowski
   #cs.LO #cs.SE
2. Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 Effects
   2026/07/26 by Frédéric Dabrowski
   Computer Science · #cs.LO #cs.PL