Basic Simple Type Theory

✍ J Roger Hindley 📂 Library 📅 1997 🏛 Cambridge University Press 🌐 English

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in pract

📁 Basic Simple Type Theory

✍ J. Roger Hindley 📂 Library 📅 1997 🏛 Cambridge University Press 🌐 English

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in prac

Functions of Omega-Bounded Type: Basic T

📁 Functions of Omega-Bounded Type: Basic Theory

✍ Armen M. Jerbashian, Joel E. Restrepo 📂 Library 📅 2024 🏛 Birkhäuser 🌐 English

The book gives the basic results of the theory of the spaces Apω of functions holomorphic in the unit disc, halfplane and in the finite complex plane, which depend on functional weights ω permitting any rate of growth of a function near the boundary of the

Typing Made Simple

📁 Typing Made Simple

✍ Nathan Levine 📂 Library 📅 1957 🏛 Doubleday 🌐 English

Typing Made Simple

📁 Typing Made Simple

✍ Nathan Levine 📂 Library 📅 1957 🏛 Doubleday 🌐 English

Turbulence: Theory, Types and Simulation

📁 Turbulence: Theory, Types and Simulation: Physics Research and Technology

✍ Russell J. Marcuso 📂 Library 📅 2012 🏛 Nova Science Publishers 🌐 English

Book by