A monad for full ground reference cells
Ohad Kammar‚ Paul Blain Levy‚ Sean K. Moss and Sam Staton
Book Title
32nd Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2017‚ Reykjavik‚ Iceland‚ June 20−23‚ 2017
Pages
1–12
Publisher
IEEE Computer Society
Year
2017