- E-postMagne.Haveraaen@uib.no
- Telefon+47 55 58 41 54
- BesøksadresseHIB - Thormøhlens gate 555006 Bergen
- PostadressePostboks 78035020 Bergen
- (2022). Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. The Art, Science, and Engineering of Programming.
- (2022). P3 problem and Magnolia language: Specializing array computations for emerging architectures. Frontiers in Computer Science. 1-24.
- (2021). Semantics of multiway dataflow constraint systems. Journal of Logical and Algebraic Methods in Programming. 26 sider.
- (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —. Communications in Computer and Information Science. 1-26.
- (2021). Padding in the Mathematics of Arrays. 12 sider.
- (2021). Axiom Based Testing for Fun and Pedagogy. Communications in Computer and Information Science. 27-57.
- (2021). An Ecosystem Architecture for the Magnolia Programming Language.
- (2020). Specifying with syntactic theory functors. Journal of Logical and Algebraic Methods in Programming. 23 sider.
- (2019). Finite difference methods fengshui: alignment through a mathematics of arrays. 12 sider.
- (2019). Abstracting Scientific Array-Based Computations in High-Performance Computing Environments.