Journal of Functional Programming, 0956-7968
Journal
1 - 3 out of 3Page size: 10
Publications
- 2016
- 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 › peer-review
- 2015
- 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 › peer-review
- 2009
- 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 › peer-review