Joakim Öhman

According to our database, Joakim Öhman authored at least 2 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Visibility reasoning for concurrent snapshot algorithms.

Joakim Öhman, Aleksandar Nanevski

Proc. ACM Program. Lang., 2022

2018

Decidability of conversion for type theory in type theory.

Andreas Abel, Joakim Öhman, Andrea Vezzosi

Proc. ACM Program. Lang., 2018