Browsing by Author "Birkedal, Lars"

Now showing 1 - 4 of 4

A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST

Timany, Amin
;
Stefanesco, Léo
;
Krogh-Jespersen, Morten
;
Birkedal, Lars
Proceedings paper
2018, Principles of Programming Languages (POPL), 7/01/2018, p.Article No. 64
Interactive proofs in higher-order concurrent separation logic

Krebbers, Robert
;
Timany, Amin
;
Birkedal, Lars
Journal article
2017, ACM SIGPLAN Notices, (52) 1, p.205-217
Multimodal Dependent Type Theory

Gratzer, Daniel
;
Kavvos, G. A.
;
Nuyts, Andreas
;
Birkedal, Lars
Proceedings paper
2020, 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), JUL 08-11, 2020, p.492-506
Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)

Skorstengaard, Lau
;
Devriese, Dominique
;
Birkedal, Lars
Proceedings paper
2018, European Symposium on Programming - ESOP, 14/04/2018, p.475-501