The Mechanized Marriage of Effects and Monads with...

ACM Transactions on Embedded Computing Systems 2019 / 01 Vol. 18; Iss. 1

The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware

Reynolds, Thomas N., Procter, Adam, Harrison, William L., Allwein, Gerard
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
18
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/3274282
Date:
January, 2019
File:
PDF, 1.86 MB
english, 2019
Conversion to is in progress
Conversion to is failed