Login / Signup
John Högberg
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Software Development
General Purpose
Cooperative
Text Retrieval
Top Venues
Erlang
</>
Publications
</>
John Högberg
Modeling Erlang Compiler IR as SMT Formulas.
Erlang
(2024)
Isabell Huang
,
John Högberg
,
Kiko Fernandez-Reyes
,
Tobias Wrigstad
Nominal Types for Erlang.
Erlang
(2024)