20182020

Research output per year

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

Fingerprint Dive into the research topics where A.J. Rouvoet is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 22 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Open Access
File
  • 17 Downloads (Pure)

    Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 64 Downloads (Pure)

    Scopes as Types

    van Antwerpen, H., Bach Poulsen, C., Rouvoet, A. & Visser, E., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-30 30 p., 114.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 117 Downloads (Pure)