Follow
Mathias Jakobsen
Mathias Jakobsen
University of Glasgow
Verified email at research.gla.ac.uk
Title
Cited by
Cited by
Year
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
M Bravetti, A Francalanza, I Golovanov, H Hüttel, MS Jakobsen, ...
arXiv preprint arXiv:2002.12793, 2020
122020
Context-Free Session Types for Applied Pi-Calculus
J Aagaard, H Hüttel, M Jakobsen, M Kettunen
arXiv preprint arXiv:1808.08648, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–2