Type Systems for Distributed Programs: Components and Sessions

Type Systems for Distributed Programs

Components and Sessions

2016 • 192 pages