Session types with linearity in Haskell

First Author: Dominic Orchard
Attributed to:  CamFort: Automated evolution and verification of computational science models funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.riverpublishers.com/research_details.php?book_id=439

Type: Book Chapter

Edition: 1

Book Title: Behavioural Types: from Theory to Tools (2017)

Page Reference: 219-241

ISBN: 9788793519824