Magne Haveraaen #26 of 109 - Pics - Anya's Homepage
Michal WALICKI | University of Bergen, Bergen | UiB | Department of Informatics | Research profile
Magne Haveraaen's research works | University of Bergen, Bergen (UiB) and other places
Magne Haveraaen, Jan Heering, Willem-Paul de Roever #37 of 66 - Pics - Anya's Homepage
Wenche Aasen, Magne Haveraaen #100 of 109 - Pics - Anya's Homepage
Volker Stolz @fm_volker@mastodon.social on Twitter: "@iFMconf @hvl_no Magne Haveraaen from @II_UiB giving the FMFun keynote on "Mismatches between Programmer Intuition and Programming Semantics - An Education Related Vurnerability" https://t.co ...
Norsk Lur- og Bukkehornlag | Siden ingen så langt har tatt oppfordringen om å legge ut video med eget hornspill, tar lagets leder sjansen på å være først ute | Facebook
PDF) A coalgebraic view on bi-infinite streams | Monika Seisenberger - Academia.edu
Charles Antony Richard Hoare — Wikipédia
Suksess for språklaboratoriet | Kommunikasjonsavdelingen | UiB
NWPT10 Turku, Finland, October 1998: NWPT1022-759_02.JPG
SORS: Using an integrated implementation and specification language to design DSLs for HPC applications | BSC-CNS
Vinner av INF101-konkuransen kåret | Institutt for informatikk | UiB
.jpg "07.10.03 Colloquium. Magne Haveraaen (Bergen)")
07.10.03 Colloquium. Magne Haveraaen (Bergen)
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science, 4624): Mossakowski, Till, Montanari, Ugo, Haveraaen, Magne: 9783540738572 ...
Trine Ytre-Arne - Daglig leder - Signo arbeid og deltagelse | LinkedIn
Magne Haveraaen #44 of 66 - Pics - Anya's Homepage
Feira UiB sine 25- og 40-årsjubilantar
magne haveraaen | Eelco Visser | Flickr
Magne Haveraaen visiting Swansea | Theory
wadt 2018
Helmer André Friis | Universitetet i Stavanger
Åpner lab for dataspråk | Kommunikasjonsavdelingen | UiB
Bjarne Stroustrup Festschrift: Program
