Article collection from 2013's ICFP conference
Guest Editors: Nikhil Swamy, Microsoft Research, USA and Tarmo Uustalu, Reykjavik University, Iceland
Articles
Unifying structured recursion schemes: An Extended Study
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 03 February 2016, e1
-
- Article
-
- You have access
- Export citation
Well-founded recursion with copatterns and sized types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 03 March 2016, e2
-
- Article
-
- You have access
- Export citation
Testing noninterference, quickly
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 05 April 2016, e4
-
- Article
-
- You have access
- Export citation
Efficient parallel and incremental parsing of practical context-free languages
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 23 July 2015, e10
-
- Article
-
- You have access
- Export citation
Mtac: A monad for typed tactic programming in Coq
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 24 August 2015, e12
-
- Article
-
- You have access
- Export citation
Verified decision procedures for MSO on words based on derivatives of regular expressions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 05 November 2015, e18
-
- Article
-
- You have access
- Export citation