No photo of Morten Rhiger

Morten Rhiger

MSc & PhD

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde



Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 3 Article in proceedings
  • 2 Journal article
  • 1 Book chapter
  • 1 Conference abstract in proceedings
Conference abstract in proceedings

Type Soundness for Open and Closed Code Fragments

Rhiger, M., 2005, Electronic Proceedings of the 2nd MetaOCaml Workshop. Swadi, K. & Taha, W. (eds.). Rice University, 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch