Sólrún Halla Einarsdóttir

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

Collaborative distances:

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

2024

Lemma Discovery and Strategies for Automated Induction.

Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

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