Behavioral Types in Programming Languages
Behavioral Types in Programming Languages
Viviana Bono, Mario Bravetti, Davide Ancona, Giuseppe Castagna, Joana Campos
About this book
Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art on this topic. Each section covers a particular programming paradigm or methodology, providing an ideal reference on the topic and identifying the areas as yet unexplored.
Details
- OL Work ID
- OL28311022W
Subjects
Programming languages (electronic computers)