Journal of Functional Programming, 0956-7968

Journal

1 - 3 out of 3Page size: 10

Publications

  1. 2016
  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 journal › Article

  3. 2015
  4. 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 journal › Article

  5. 2009
  6. 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 journal › Article