CakeML: A Verified Implementation of ML
Loading...
Date
Authors
Kumar, Ramana
Myreen, Magnus O.
Norrish, Michael
Owens, Scott
Journal Title
Journal ISSN
Volume Title
Publisher
Association for Computing Machinery (ACM)
Abstract
Description
Keywords
Citation
Collections
Source
Proof Search for Propositional Abstract Separation Logics via Labelled Sequents
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description