Morten Rhiger

Type-Based Uncurrying for Unknown Function Calls
Rhiger, M., 2024. 12 s.
Publikation: Konferencebidrag › Paper › Forskning › peer review
ENTRA: Whole-systems energy transparency
Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 2016, I: Microprocessors and Microsystems. 47, Part B, s. 278-286 9 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Fil
Hygienic Quasiquotation in Scheme: Distilled Tutorial
Rhiger, M., sep. 2012, ACM SIGPLAN Workshop on Scheme and Functional Programming. Association for Computing Machinery, 7 s. (Workshop on Scheme and Functional Programming).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Staged Computation with Staged Lexical Scope
Rhiger, M., mar. 2012, Programming Languages and Systems: 21st European Symposium on Programming. Seidl, H. (red.). Springer, Bind 7211. s. 559-579 20 s.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Type-safe pattern combinators
Rhiger, M., 2009, I: Journal of Functional Programming. 19, 2, s. 145156
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Energicertificeret softwareudvikling og drift
Kirkeby, M. H. (Projektdeltager), Rosendahl, M. (Projektdeltager), Rhiger, M. (Projektdeltager) & Lu, H. (Projektdeltager)
07/09/2021 → 31/05/2022
Projekter: Projekt › Forskning
Energimærkning af Software og Software Installationer
Gallagher, J. P. (Projektdeltager), Kirkeby, M. H. (Projektdeltager), Rosendahl, M. (Projektdeltager) & Rhiger, M. (Projektdeltager)
01/02/2020 → 30/09/2020
Projekter: Projekt › Forskning
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager), Rhiger, M. (Projektdeltager), Strand, D. L. (Projektleder) & Bohr, N. (Projektdeltager)
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
NUSA: Numeric and Symbolic Abstractions for Software Model Checking
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager) & Rhiger, M. (Projektdeltager)
01/01/2011 → 31/12/2013
Projekter: Projekt › Forskning
SAFT: Static Analysis with Finite Tree Automata
Gallagher, J. P. (Projektleder), Rosendahl, M. (Projektdeltager) & Rhiger, M. (Projektdeltager)
<ingen navn>
01/01/2007 → 31/12/2010
Projekter: Projekt › Forskning

35th Symposium on Implementation and Application of Functional Languages
Rhiger, M. (Deltager)
29 aug. 2023 → 31 aug. 2023
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Workshop on the Implementation of Type Systems
Rhiger, M. (Deltager)
28 aug. 2023
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
Copenhagen Programming Languages Workshop
Rhiger, M. (Arrangør)
2023 → …
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Nordic Workshop on Programming Theory (Begivenhed)
Rhiger, M. (Fagfællebedømmer)
2 nov. 2022 → 4 nov. 2025
Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
The 34th Symposium on Implementation and Application of Functional Languages (Begivenhed)
Rhiger, M. (Fagfællebedømmer)
31 aug. 2022 → 2 sep. 2022
Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

Personlig profil