Iris from the ground up: A modular foundation for higher-order concurrent separation logic

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: RALF JUNG, ROBBERT KREBBERS, JACQUES-HENRI JOURDAN, ALEŠ BIZJAK, LARS BIRKEDAL, DEREK DREYER

Journal title: Journal of Functional Programming

Journal number: 28

Journal publisher: Cambridge University Press

Published year: 2018

DOI identifier: 10.1017/S0956796818000151

ISSN: 0956-7968