Programming Language Theory Concept

Type error

Books

Journey Statusreviewing Tags

According to Programming languages: Application and Interpretation, an inability to construct a proof that a given term has some consistent type.