Type Inference With Simple Subtypes Iowa Type Theory Commute podcast

Artwork

Science Tech Math Aaron Stump Programming Language Computational Logic Type Theory Proof Assistants Cedille

Вміст надано Aaron Stump. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Aaron Stump або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

Iowa Type Theory Commute « »
Type inference with simple subtypes

2+ y ago 13:27

Поширити

MP3•Головна епізоду

Вміст надано Aaron Stump. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Aaron Stump або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

In this episode, I begin discussing a paper titled "Type Inference with Simple Subtypes," by John C. Mitchell. The paper presents algorithms for computing a type and set of subtype constraints for any term of the pure lambda calculus. I mostly focus here on how subtype constraints allow typing any term (which seems surprising).
You can join the telegram group for discussion related to the podcast.

… continue reading

178 епізодів

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

Artwork

Type inference with simple subtypes

Iowa Type Theory Commute

14 subscribers

published 2+ y ago

Поширити

MP3•Головна епізоду

Вміст надано Aaron Stump. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Aaron Stump або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

In this episode, I begin discussing a paper titled "Type Inference with Simple Subtypes," by John C. Mitchell. The paper presents algorithms for computing a type and set of subtype constraints for any term of the pure lambda calculus. I mostly focus here on how subtype constraints allow typing any term (which seems surprising).
You can join the telegram group for discussion related to the podcast.

… continue reading

178 епізодів

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

Усі епізоди

×

Ласкаво просимо до Player FM!

Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.

Слухайте шоу на 500+ тем

Короткий довідник

Топ подкастів

Радіо Скорбота

Кінотижневик Vertigo

Вмістожер

Громадське радіо

Радіо Донбас Реалії

Повільна розмова

Буде тобі наука

Слухайте це шоу, досліджуючи

Відтворити