Adam Sandberg Eriksson

Showing 1 publications

2019

A Verified Generational Garbage Collector for CakeML

Adam Sandberg Eriksson, Magnus Myreen, Johannes Åman Pohjala

Journal of Automated Reasoning. Vol. 63 (2), p. 463-488

Journal article

Download publication list

You can download this list to your computer.

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 1 research projects

2014–2016

Domain-Specific Languages of Mathematics (DSLsofMath)

Patrik Jansson Software Technology (Chalmers)

Adam Sandberg Eriksson Software Technology (Chalmers)

Irene Lobo Valbuena Software Technology (Chalmers)

Cezar Ionescu Software Technology (Chalmers)

Chalmers

1 publication exists

There might be more projects where Adam Sandberg Eriksson participates, but you have to be logged in as a Chalmers employee to see them.