Oskar Eriksson

According to our database, Oskar Eriksson authored at least 3 papers between 2012 and 2023.

Collaborative distances:

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

2023

A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized.

Andreas Abel, Nils Anders Danielsson, Oskar Eriksson

Proc. ACM Program. Lang., August, 2023

2018

Shorter waiting time, better emergency healthcare: Forecasting Stockholm's emergency department visits.

Andreas Ekström, Martin Nordberg, Oskar Eriksson

Model. Assist. Stat. Appl., 2018

2012

Conformity on the Internet - The role of task difficulty and gender differences.

Michael Rosander, Oskar Eriksson

Comput. Hum. Behav., 2012