1050 results in Journal of Functional Programming
No value restriction is needed for algebraic effects and handlers*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 24 January 2017, e7
-
- Article
-
- You have access
- Export citation
Normal-order reduction grammars*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 17 January 2017, e6
-
- Article
-
- You have access
- Export citation
Flexible dynamic information flow control in the presence of exceptions*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 12 January 2017, e5
-
- Article
-
- You have access
- Export citation
A simple library implementation of binary sessions*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 21 December 2016, e4
-
- Article
-
- You have access
- Export citation
Higher order symbolic execution for contract verification and refutation*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 21 December 2016, e3
-
- Article
-
- You have access
- Export citation
Correctness of compiling polymorphism to dynamic typing*
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 12 December 2016, e1
-
- Article
-
- You have access
- Export citation
Programming with ornaments
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 12 December 2016, e2
-
- Article
-
- You have access
- Export citation
PhD Abstracts
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 23 November 2016, e24
-
- Article
-
- You have access
- Export citation
Oracle-guided scheduling for controlling granularity in implicitly parallel languages*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 10 November 2016, e23
-
- Article
-
- You have access
- Export citation
Reasoning about multi-stage programs*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 07 November 2016, e22
-
- Article
-
- You have access
- Open access
- Export citation
Linear lambda terms as invariants of rooted trivalent maps
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 04 November 2016, e21
-
- Article
-
- You have access
- Export citation
Gencel: a program generator for correct spreadsheets
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 3 / May 2006
- Published online by Cambridge University Press:
- 25 October 2016, pp. 293-325
-
- Article
-
- You have access
- Export citation
EDUCATIONAL PEARL: Automata via macros
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 3 / May 2006
- Published online by Cambridge University Press:
- 25 October 2016, pp. 253-267
-
- Article
-
- You have access
- Export citation
Consistency of the theory of contexts
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 3 / May 2006
- Published online by Cambridge University Press:
- 25 October 2016, pp. 327-372
-
- Article
-
- You have access
- Export citation
THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 3 / May 2006
- Published online by Cambridge University Press:
- 25 October 2016, pp. 269-280
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL: Enumerating the rationals
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 3 / May 2006
- Published online by Cambridge University Press:
- 25 October 2016, pp. 281-291
-
- Article
-
- You have access
- Export citation
Special issue dedicated to ICFP 2014: Editorial
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 25 October 2016, e20
-
- Article
-
- You have access
- Export citation
Gradual type-and-effect systems
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 22 September 2016, e19
-
- Article
-
- You have access
- Export citation
Homotopical patch theory*
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 13 September 2016, e18
-
- Article
-
- You have access
- Export citation
Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 09 September 2016, e17
-
- Article
-
- You have access
- Export citation