Research Articles
Articles
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 5 / September 2013
- Published online by Cambridge University Press:
- 14 October 2013, pp. 515-551
-
- Article
-
- You have access
- Export citation
Safe fusion of functional expressions II: Further improvements†
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 515-555
-
- Article
-
- You have access
- Export citation
Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 519-526
-
- Article
-
- You have access
- Export citation
Functional Pearls: Drawing trees
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / May 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 527-534
-
- Article
-
- You have access
- Export citation
Lessons from the design of a Standard ML library
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / October 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 527-552
-
- Article
-
- You have access
- Export citation
Every bit counts: The binary representation of typed data and programs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / September 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 529-573
-
- Article
-
- You have access
- Export citation
F-ing modules
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 5 / 2014
- Published online by Cambridge University Press:
- 19 November 2014, pp. 529-607
-
- Article
-
- You have access
- Export citation
Functional Pearls: Deriving tidy drawings of trees
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 535-562
-
- Article
-
- You have access
- Export citation
Implicitly threaded parallelism in Manticore
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 27 January 2011, pp. 537-576
-
- Article
-
- You have access
- Export citation
Algebra of programming in Agda: Dependent types for relational program derivation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / 2009
- Published online by Cambridge University Press:
- 23 July 2009, pp. 545-579
-
- Article
-
- You have access
- Export citation
Communication lifting: fixed point computation for parallelism
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 549-581
-
- Article
-
- You have access
- Export citation
Idris, a general-purpose dependently typed programming language: Design and implementation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 5 / 2013
- Published online by Cambridge University Press:
- 18 October 2013, pp. 552-593
-
- Article
-
- You have access
- Export citation
Functional Pearls Efficient sets—a balancing act
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 553-561
-
- Article
-
- You have access
- Export citation
Caml trading – experiences with functional programming on Wall Street
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 4 / July 2008
- Published online by Cambridge University Press:
- 24 April 2008, pp. 553-564
-
- Article
-
- You have access
- Export citation
Representing demand by partial projections
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 4 / 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 563-585
-
- Article
-
- You have access
- Export citation
A pattern for almost compositional functions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 02 September 2008, pp. 567-598
-
- Article
-
- You have access
- Export citation
The Reduceron reconfigured and re-evaluated
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / 2012
- Published online by Cambridge University Press:
- 10 July 2012, pp. 574-613
-
- Article
-
- You have access
- Export citation
NixOS: A purely functional Linux distribution
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / 2010
- Published online by Cambridge University Press:
- 15 October 2010, pp. 577-615
-
- Article
-
- You have access
- Export citation
The λ-calculus with constructors: Syntax, confluence and separation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. 581-631
-
- Article
-
- You have access
- Export citation
Simple and efficient purely functional queues and deques
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 4 / 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 583-592
-
- Article
-
- You have access
- Export citation