Recalling a witness: foundations and applications of monotonic state

Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy. Recalling a witness: foundations and applications of monotonic state. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]

Authors

Danel Ahman

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

Cédric Fournet

This author has not been identified. Look up 'Cédric Fournet' in Google

Catalin Hritcu

This author has not been identified. Look up 'Catalin Hritcu' in Google

Kenji Maillard

This author has not been identified. Look up 'Kenji Maillard' in Google

Aseem Rastogi

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

Nikhil Swamy

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