"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference · 2 recomendações no HN
Perguntas sobre o vídeo
Peça à IA para explicar esta cena ou resumir o vídeo inteiro. Se a resposta tiver marcações de tempo, selecione uma para ir ao trecho.
Experimente perguntar: O que a pessoa está explicando aqui?
Entre com o Google. Confira o custo máximo em 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 que o HN recomenda: 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” Ler no HN ↗