Sólrún Halla Einarsdóttir

According to our database, Sólrún Halla Einarsdóttir authored at least 4 papers between 2018 and 2020.

Collaborative distances:

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

2020

Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing.

Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2018

Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics.

Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

Saint: An API-Generic Type-Safe Interpreter.

Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes

Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

Into the Infinite - Theory Exploration for Coinduction.

Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018