Bo Joel Svensson
发表
Bo Joel Svensson,
Mary Sheeran,
Ryan Newton,
2014,
ACM Queue.
Bo Joel Svensson,
Mary Sheeran,
Ryan Newton,
2016,
J. Funct. Program..
Bo Joel Svensson,
Mary Sheeran,
Martin Elsman,
2016,
FHPC@ICFP.
Bo Joel Svensson,
Ryan Newton,
Michael Vollmer,
2015,
FHPC@ICFP.
Bo Joel Svensson,
2014
.
Bo Joel Svensson,
2013
.
Bo Joel Svensson,
Mary Sheeran,
Ryan R. Newton,
2014
.
Bo Joel Svensson,
Mary Sheeran,
Josef Svenningsson,
2013,
FHPC '13.
Bo Joel Svensson,
Ainhoa Cortés,
Leticia Zamora-Cadenas,
2020
.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2010,
ICCS.
Bo Joel Svensson,
Josef Svenningsson,
Josef Svenningsson,
2014,
FHPC '14.
Bo Joel Svensson,
Ryan Newton,
Luke Dalessandro,
2016,
PLDI.
Bo Joel Svensson,
Mary Sheeran,
2012,
FHPC '12.
Bo Joel Svensson,
Ryan Newton,
Michael Vollmer,
2015,
FHPC@ICFP.
Bo Joel Svensson,
Magnus Jonsson,
Jonny Vinter,
2020,
J. Robotics.
Bo Joel Svensson,
Mary Sheeran,
Ryan Newton,
2014,
CACM.
Bo Joel Svensson,
Ryan Newton,
Luke Dalessandro,
2017,
PLDI.
Bo Joel Svensson,
Josef Svenningsson,
Josef Svenningsson,
2013,
ICFP.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2008,
IFL.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2012,
DAMP '12.
Bo Joel Svensson,
Pedro Trancoso,
Ioannis Sourdis,
2017,
2017 International Conference on Field Programmable Technology (ICFPT).
Bo Joel Svensson,
Mary Sheeran,
Abhiroop Sarkar,
2021,
MPLR.
Bo Joel Svensson,
2016
.
Bo Joel Svensson,
S. Edwards,
K. Claessen,
2022,
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2008
.
Bo Joel Svensson,
M. Sheeran,
Abhiroop Sarkar,
2022,
Dagstuhl Artifacts Ser..
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2010
.