SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez. SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. Proceedings of the ACM on Programming Languages, 4(ICFP), 2020. [doi]

Authors

Nikhil Swamy

This author has not been identified. Look up 'Nikhil Swamy' in Google

Aseem Rastogi

This author has not been identified. Look up 'Aseem Rastogi' in Google

Aymeric Fromherz

This author has not been identified. Look up 'Aymeric Fromherz' in Google

Denis Merigoux

This author has not been identified. Look up 'Denis Merigoux' in Google

Danel Ahman

This author has not been identified. Look up 'Danel Ahman' in Google

Guido Martínez

This author has not been identified. Look up 'Guido Martínez' in Google