Behavioural types : from theory to tools /

Bibliographic Details

Other Authors:	Gay, Simon, 1969- (Editor), Ravara, António (Editor)
Format:	Book
Language:	English
Published:	Gistrup, Denmark : River Publishers, [2017]
Series:	River Publishers series in automation, control and robotics.
Subjects:	Programming languages (Electronic computers) Type theory.