作者: Ravara

Behavioral type systems in programming languages support the specification and verification of programs’ properties beyond the traditional use of type systems to describe data processing. A major exa …