Kulturstyremøte 18. februar Til stede: Leder: Svein V. Tømmerdal (UiO), nestleder: Jeanette Viken (UiO), Niklas Myklebost (NITH), Jana Aleksic (UiO), Hedda Eia Vestad (HiOA), Karoline Soot (UiO) og Svend Sondre Frøsha

Source URL: www.studentvelferd.no

DIKU Rapport 88/21, OctoberA Blond Primer Olivier Danvy & Karoline Malmkjær DIKU – University of Copenhagen

Source URL: www.daimi.au.dk

• Control flow
• Lisp programming language
• Functional languages
• Knowledge representation
• Object-oriented programming
• Reification
• Lisp
• Eval
• Lambda calculus
• Software engineering
• Computing
• Computer programming

On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract

Source URL: repository.readscheme.org

• Applied mathematics
• Models of computation
• Programming language semantics
• Logic in computer science
• Denotational semantics
• Abstract interpretation
• Symbol
• Partial evaluation
• Interpretation
• Theoretical computer science
• Formal languages
• Mathematics

Compiling Monads ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline Malmkjær

Source URL: repository.readscheme.org

• Adjoint functors
• Functional programming
• Models of computation
• Functional languages
• Monad
• Kleisli category
• Denotational semantics
• List comprehension
• Strong monad
• Software engineering
• Computing
• Computer programming

Predicting Properties of Specialized Programs PhD Proposal Karoline Malmkjær November 20, 1991 c

Source URL: repository.readscheme.org

• Computability theory
• Theoretical computer science
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Eval
• ALGOL 68
• Lambda calculus
• Type system
• Software engineering
• Computing
• Computer programming

Pressemitteilung JUNGE KUNSTHALLE 11 x Karoline Luise Die vielen Seiten der Markgräfin 30. Mai – 6. September 2015 Was verrät eine Spindelschnecke über Karoline Luise von Baden? Was hat die

Source URL: www.kunsthalle-karlsruhe.de

Noteringar från Jämtlands utbildningsförbund Närvarande: Margareta Tamm-Persson, Staffan Lindvall, C-G Ericsson, Karoline Sundström, Marie Nordmark Förbundet Vi träffade förbundschefen Mikael, verksamhetsplanerar

Source URL: www.halsingeradet.se

Mötesanteckningar - Delprojektmöte – EkonomiRådhuset, Söderhamn kl 13.00 – 16.00, KS-salen. Kallade: Erik A, Marie N, C-G Ericsson, Margareta T-P, Karoline S. Erik S Lägesavstämning Bollnäs: Karoli

Source URL: www.halsingeradet.se

EkonomifrågorNärvarande: Margareta Tamm-Persson, Yvonne Nilsson, Staffan Lindvall, Jonas Gustavsson, Karoline Sundström, PO Moberg, Helena Nyström, Kerstin Vennberg, C-G Ericsson, Marie Nordmark Ersättning

Source URL: www.halsingeradet.se

Delprojekt 3, Ekonomi Träff i MellanfjärdenFörtydligande av uppdragen inför fas 2 genomförande av Hälsinglands utbildningsförbund. Närvarande: Margareta, Yvonne, Karoline, P-O, C-G och Marie Delproj

Source URL: www.halsingeradet.se