Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

Building Better Systems

Nội dung được cung cấp bởi Galois Inc., Joey Dodds, and Shpat Morina. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Galois Inc., Joey Dodds, and Shpat Morina hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.

2y ago 48:45

MP3•Trang chủ episode

Today we're joined by Nikhil Swamy, Senior Principal Researcher in the RiSE group at Microsoft Research. We are very excited to hear about what he's been working on. In particular, we're going discuss a language that he's co-created and continually develops called F* (pronounced F star). F* is a dependently typed language that you can both program and prove things about the programs that you write. We'll talk about what makes that language special and unique from other similar languages, as well as some of the applications of F*.

Watch all our episodes on the Building Better Systems YouTube channel

Nikhil Swamy: https://www.microsoft.com/en-us/research/people/nswamy/

F*: https://www.fstar-lang.org/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Galois, Inc.: https://galois.com/

22 tập

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina