No photo of Morten Rhiger
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Research Output 2005 2016

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

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