Media Summary: This talk by Niki Vazou took place at Lambda World 2024 on October 4th, at the Palacio de Congresos in Cádiz, Spain. This video was recorded at Lambda Days 2022 - Anosy: Approximate Knowledge ... The key to scalable program synthesis is modular verification, which enables pruning inviable candidates for each component of ...
Functional Correctness With Refinement Types - Detailed Analysis & Overview
This talk by Niki Vazou took place at Lambda World 2024 on October 4th, at the Palacio de Congresos in Cádiz, Spain. This video was recorded at Lambda Days 2022 - Anosy: Approximate Knowledge ... The key to scalable program synthesis is modular verification, which enables pruning inviable candidates for each component of ...
![[SOAP'23] Flux: Refinement types for Rust](https://i.ytimg.com/vi/NIJtZ0yUDX0/mqdefault.jpg)
![[ICFP'23] Explicit Refinement Types](https://i.ytimg.com/vi/xR9a12RHz3A/mqdefault.jpg)
![[POPL'24] Mechanizing Refinement Types](https://i.ytimg.com/vi/UXA7SRArBj8/mqdefault.jpg)
