Home » Authors » Simon Gay, António Ravara

Simon Gay, António Ravara

Public reference bibliography and cataloged PDF materials authored or published by Simon Gay, António Ravara.

Found 1 document(s) Page 1 of 1

Behavioural Types: From Theory to Tools

Year: 2024 • ISBN: 8770044279 • Source: freecomputerbooks.com • Listed PDF

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing....