1. 2020
  2. Elaborating dependent (co)pattern matching: No pattern left behind

    Cockx, J. & Abel, A., 2020, In : Journal of Functional Programming. 30, e2.

    Research output: Contribution to journalArticleScientificpeer-review

  3. FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

    Smits, J., Wachsmuth, G. & Visser, E., 2020, In : Journal of Computer Languages. 57, p. 1-39 39 p., 100924.

    Research output: Contribution to journalArticleScientificpeer-review

  4. Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

    Rouvoet, A., Poulsen, C., Krebbers, R. & Visser, E., 2020, ACM DL, p. 284-298, 15 p.

    Research output: Working paperScientific

Previous 1...5 6 7 8 9 Next

ID: 19976