Podcasts Technology Iowa Type Theory Commute Type inference with simple subtypes

Type inference with simple subtypes

Published: June 30, 2023, 4 a.m.

b'

In this episode, I begin discussing a paper titled "Type Inference with Simple Subtypes," by John C. Mitchell.\\xa0 The paper presents algorithms for computing a type and set of subtype constraints for any term of the pure lambda calculus.\\xa0 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.

'