"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference · 2 recomendaciones en HN
Preguntas sobre el video
Pide a la IA que explique esta escena o resuma el video completo. Si la respuesta incluye marcas de tiempo, selecciona una para ir al fragmento.
Prueba a preguntar: ¿Qué está explicando aquí la persona que habla?
Inicia sesión con Google. Consulta el costo máximo en créditos antes de confirmar.
Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified, executable code.
Por qué lo recomienda HN: HN points to it as a motivating introduction to what program synthesis is and what types can do for it.
“for a motivating talk and explanation on what program synthesis is try this one” Leer en HN ↗