"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference · 2 則 HN 推薦
影片問答
可以請 AI 解釋目前片段，或總結整部影片。如果回答附有時間戳記，點選即可跳到對應片段。
試著問：這裡講的是什麼意思？
需使用 Google 登入。確認前可查看最多會扣除多少點數。
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.
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” 閱讀 HN 討論 ↗