Magne Haveraaen visiting Swansea | Theory
Magne Haveraaen's research works | University of Bergen, Bergen (UiB) and other places
Michal WALICKI | University of Bergen, Bergen | UiB | Department of Informatics | Research profile
CALCO Young Researchers Workshop CALCO-jnr 2009
SORS: Using an integrated implementation and specification language to design DSLs for HPC applications | BSC-CNS
Magne Haveraaen #44 of 66 - Pics - Anya's Homepage
Lenore MULLIN | Professor Emeritus | BS Math, SUC New Paltz, NY, MS Physics, PhD CS, Syracuse U | University at Albany, The State University of New York, New York | UAlbany
seminar
Mikkel Magnus Thørrisen | University of Stavanger
Olaf Owe - Department of Informatics
Wenche Aasen, Magne Haveraaen #100 of 109 - Pics - Anya's Homepage
Charles Antony Richard Hoare — Wikipédia
magne haveraaen | Eelco Visser | Flickr
.jpg "07.10.03 Colloquium. Magne Haveraaen (Bergen)")
07.10.03 Colloquium. Magne Haveraaen (Bergen)
Helmer André Friis | Universitetet i Stavanger
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
Dr Anya on Twitter: "Now, Magne Haveraaen on abstracting error handling with 'alerts'. #hidays http://t.co/USzcstsWPD" / Twitter
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 ...
Magne Haveraaen #12 of 109 - Pics - Anya's Homepage
Bjarne Stroustrup Festschrift: Program
Jan Heering, Tony Sloane and Magne Haveraaen #29 of 109 - Pics - Anya's Homepage
Welcome and opening (ARRAY 2021) - PLDI 2021
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 ...
