Journal of Functional Programming, 0956-7968

Journal

Publications

  1. Published

    Control effects as a modality

    Hayo Thielecke, 1 Jan 2009, In : Journal of Functional Programming. 19, 01, p. 17-26 10 p.

    Research output: Contribution to journalArticlepeer-review

  2. E-pub ahead of print

    Linear lambda terms as invariants of rooted trivalent maps

    Noam Zeilberger, 4 Nov 2016, In : Journal of Functional Programming. 26, 20 p., e21.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Mtac: A monad for typed tactic programming in Coq

    Neelakantan Krishnaswami, 2015, In : Journal of Functional Programming. 25, 59 p., e12.

    Research output: Contribution to journalArticlepeer-review