Skip Ribbon Commands

Skip to main content

Start

Sólrún Einarsdóttir

Staff

Sólrún Einarsdóttir

PhD student, Functional Programming division, Department of Computer Science and Engineering.

slrn@chalmers.se Find me

Publications

Latest publications

2019
Examples and Results from a BSc-level course on domain specific languages of mathematics

Author: Patrik Jansson; Sólrún Einarsdóttir; Cezar Ionescu

Published: 2019

Published in: Electronic Proceedings in Theoretical Computer Science, EPTCS

Publication type: Paper in proceedings
Saint: an API-generic type-safe interpreter

Author: Maximilian Algehed; Patrik Jansson; Sólrún Einarsdóttir; Alex Gerdes

Published: 2019

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings
2018
Into the infinite - theory exploration for coinduction

Author: Sólrún Einarsdóttir; Moa Johansson; Johannes Åman Pohjala

Published: 2018

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceedings

Go to Chalmers publication library

Published: Fri 07 Sep 2018.