Type Theory and Programming Languages: Understanding the Logic Behind Safer Software Development
Introduction Modern software applications have become increasingly complex with many of them performing vital functions in financial transactions, healthcare, industry…