"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のコメントを読む ↗