Research output per year
Research output per year
Personal profile
Keywords
- Computer science, IT
- Denotational semantics
- Multi-stage languages
- Interpreters and runtime systems
- Higher-order programming languages
- Operational semantics
- Compilers
- Program generations
- Program analysis
- Programing
- Program specialisation
- Semantics of programming languages
- Type systems
Research output
-
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, In: Microprocessors and Microsystems. 47, Part B, p. 278-286 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
File -
Hygienic Quasiquotation in Scheme: Distilled Tutorial
Rhiger, M., Sept 2012, ACM SIGPLAN Workshop on Scheme and Functional Programming. Association for Computing Machinery, 7 p. (Workshop on Scheme and Functional Programming).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Staged Computation with Staged Lexical Scope
Rhiger, M., Mar 2012, Programming Languages and Systems: 21st European Symposium on Programming. Seidl, H. (ed.). Springer, Vol. 7211. p. 559-579 20 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Type-safe pattern combinators
Rhiger, M., 2009, In: Journal of Functional Programming. 19, 2, p. 145156Research output: Contribution to journal › Journal article › Research › peer-review
-
First-Class Open and CLosed Code Fragments
Rhiger, M., 2007, Trends in Functional Programming. Van Eekelen, M. (ed.). Bristol, United Kingdom: Intellect, Vol. 6. p. 127-144Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Projects
- 5 Finished
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.
07/09/2021 → 31/05/2022
Project: Research
-
Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Project: Research
-
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.
01/10/2012 → 30/09/2015
Project: Research
-
NUSA: Numeric and Symbolic Abstractions for Software Model Checking
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
01/01/2011 → 31/12/2013
Project: Research
-
SAFT: Static Analysis with Finite Tree Automata
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
01/01/2007 → 31/12/2010
Project: Research
Activities
-
Copenhagen Programming Languages Workshop
Morten Rhiger (Organizer)
2023 → …Activity: Participating in or organising an event › Organisation and participation in conference
-
Nordic Workshop on Programming Theory (Event)
Morten Rhiger (Peer reviewer)
2 Nov 2022 → 4 Nov 2022Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
The 34th Symposium on Implementation and Application of Functional Languages (Event)
Morten Rhiger (Peer reviewer)
31 Aug 2022 → 2 Sept 2022Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Workshop on Scheme and Functional Programming
Morten Rhiger (Organizer)
9 Sept 2012Activity: Participating in or organising an event › Organisation and participation in conference
-
The 15th International Conference on Compiler Construction, 2006 (External organisation)
Morten Rhiger (Member)
8 Apr 2006 → 25 Apr 2006Activity: Membership › Membership in committee, council, board