| Quick Search: |
| Cite Search: |
Home>
Journal of Functional Programming
|
Log InBrowse JournalsSpecial SalesDownload our New CataloguesOur full range of Journal Subject Catalogues and our Electronic Packages are online for you to download as fully linked PDFs. Click here to see our full range. more details |
Search
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Del.icio.us
Connotea
Bibsonomy
Furl
Digg
Reddit
Facebook
Share on Twitter
|
630,460 articles from 323 leading journals. |
- Editor(s):
-
Matthias Felleisen, Northeastern University, USA
Xavier Leroy, INRIA Rocquencourt, France
- Editorial Board Details.
Journal of Functional Programming is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. The journal is of interest to computer scientists, software engineers, programming language researchers and mathematicians interested in the logical foundations of programming.
New in 2008. Manuscripts for consideration in the Journal of Functional Programming can now be submitted electronically, using the Manuscript Central System, via http://mc.manuscriptcentral.com/cup/jfp_submit. See Instructions for Contributors.
- ISSN: 0956-7968
- EISSN: 1469-7653
Available Volumes
| Checking for available Accepted Manuscripts... Accepted Manuscripts | ||||
| First View Articles | ||||
| Current Volume [Hide Current Volume] Current Volume |
| 2010 Volume 20 | ||||
|
Issue 01 | Jan 2010 | pp 1 - 122 | |
Back Volumes [Hide Back Volumes] Back Volumes
-
2000s
(2000 Vol 10 - 2009 Vol 19)
2000s
(2000 Vol 10 - 2009 Vol 19)
Journal of Functional Programming
-
2009
(Volume
19)
2009
(Volume
19)
Journal of Functional Programming
| Issue 01 | Jan 2009 | pp 1 - 142 | ||
| Issue 02 | Mar 2009 | pp 143 - 262 | ||
| Issue 3-4 | Jul 2009 | pp 263 - 487 | ||
| Supplement S1 | Aug 2009 | pp 1 - 301 | ||
| Issue 05 | Sep 2009 | pp 489 - 631 | ||
| Issue 06 | Nov 2009 | pp 633 - 725 |
-
2008
(Volume
18)
2008
(Volume
18)
Journal of Functional Programming
| Issue 01 | Jan 2008 | pp 1 - 140 | ||
| Issue 02 | Mar 2008 | pp 141 - 283 | ||
| Issue 03 | May 2008 | pp 285 - 422 | ||
| Issue 04 | Jul 2008 | pp 423 - 564 | ||
| Special Double Issue 5-6 | November 2008 | pp 565 - 911 |
-
2007
(Volume
17)
2007
(Volume
17)
Journal of Functional Programming
| Issue 01 | Jan 2007 | pp 1 - 143 | ||
| Issue 02 | Mar 2007 | pp 145 - 286 | ||
| Issue 03 | May 2007 | pp 287 - 429 | ||
| Issue 4-5 | Jul 2007 | pp 431 - 673 | ||
| Issue 06 | Nov 2007 | pp 675 - 814 |
-
2006
(Volume
16)
2006
(Volume
16)
Journal of Functional Programming
| Issue 01 | Jan 2006 | pp 1 - 128 | ||
| Issue 02 | Mar 2006 | pp 129 - 251 | ||
| Issue 03 | May 2006 | pp 253 - 372 | ||
| Issue 4-5 | Jul-Sep 2006 | pp 373 - 661 | ||
| Issue 06 | Nov 2006 | pp 663 - 811 |
-
2005
(Volume
15)
2005
(Volume
15)
Journal of Functional Programming
| Issue 01 | Jan 2005 | pp 1 - 127 | ||
| Issue 02 | Mar 2005 | pp 129 - 349 | ||
| Issue 03 | May 2005 | pp 351 - 502 | ||
| Issue 04 | Jul 2005 | pp 503 - 651 | ||
| Issue 05 | Sep 2005 | pp 653 - 796 | ||
| Issue 06 | Nov 2005 | pp 797 - 939 |
-
2004
(Volume
14)
2004
(Volume
14)
Journal of Functional Programming
| Issue 01 | Jan 2004 | pp 1 - 128 | ||
| Issue 02 | Mar 2004 | pp 129 - 251 | ||
| Issue 03 | May 2004 | pp 253 - 363 | ||
| Issue 04 | Jul 2004 | pp 365 - 473 | ||
| Issue 05 | Sep 2004 | pp 475 - 600 | ||
| Issue 06 | Nov 2004 | pp 601 - 763 |
-
2003
(Volume
13)
2003
(Volume
13)
Journal of Functional Programming
| Issue 01 | Jan 2003 | pp 7 - 255 | ||
| Issue 02 | Mar 2003 | pp 257 - 451 | ||
| Issue 03 | May 2003 | pp 453 - 708 | ||
| Issue 04 | Jul 2003 | pp 709 - 832 | ||
| Issue 05 | Sep 2003 | pp 833 - 959 | ||
| Issue 06 | Nov 2003 | pp 961 - 1088 |
-
2002
(Volume
12)
2002
(Volume
12)
Journal of Functional Programming
| Issue 01 | Jan 2002 | pp 1 - 90 | ||
| Issue 02 | Mar 2002 | pp 91 - 182 | ||
| Issue 03 | May 2002 | pp 183 - 292 | ||
| Issue 4-5 | Jul 2002 | pp 293 - 510 | ||
| Issue 06 | Nov 2002 | pp 511 - 622 |
-
2001
(Volume
11)
2001
(Volume
11)
Journal of Functional Programming
| Issue 01 | Jan 2001 | pp 1 - 153 | ||
| Issue 02 | Mar 2001 | pp 155 - 262 | ||
| Issue 03 | May 2001 | pp 263 - 358 | ||
| Issue 04 | Jul 2001 | pp 359 - 437 | ||
| Issue 05 | Sep 2001 | pp 439 - 589 | ||
| Issue 06 | Nov 2001 | pp 591 - 689 |
-
2000
(Volume
10)
2000
(Volume
10)
Journal of Functional Programming
-
1990s
(1991 Vol 1 - 1999 Vol 9)
1990s
(1991 Vol 1 - 1999 Vol 9)
Journal of Functional Programming
-
1999
(Volume
9)
1999
(Volume
9)
Journal of Functional Programming
| Issue 01 | Jan 1999 | pp 1 - 111 | ||
| Issue 02 | Mar 1999 | pp 113 - 245 | ||
| Issue 03 | May 1999 | pp 247 - 354 | ||
| Issue 04 | Jul 1999 | pp 355 - 482 | ||
| Issue 05 | Sep 1999 | pp 483 - 578 | ||
| Issue 06 | Nov 1999 | pp 579 - 698 |
-
1998
(Volume
8)
1998
(Volume
8)
Journal of Functional Programming
| Issue 01 | Jan 1998 | pp 1 - 96 | ||
| Issue 02 | Mar 1998 | pp 97 - 199 | ||
| Issue 03 | May 1998 | pp 201 - 317 | ||
| Issue 04 | Jul 1998 | pp 319 - 446 | ||
| Issue 05 | Sep 1998 | pp 447 - 542 | ||
| Issue 06 | Nov 1998 | pp 543 - 637 |
-
1997
(Volume
7)
1997
(Volume
7)
Journal of Functional Programming
Digitised Archive
-
1996
(Volume
6)
1996
(Volume
6)
Journal of Functional Programming
| Issue 01 | Jan 1996 | pp 1 - 193 | ||
| Issue 02 | Mar 1996 | pp 195 - 377 | ||
| Issue 03 | May 1996 | pp 379 - 562 | ||
| Issue 04 | Jul 1996 | pp 563 - 665 | ||
| Issue 05 | Sep 1996 | pp 667 - 761 | ||
| Issue 06 | Nov 1996 | pp 763 - 861 |
-
1995
(Volume
5)
1995
(Volume
5)
Journal of Functional Programming
| Issue 01 | Jan 1995 | pp 1 - 134 | ||
| Issue 02 | Apr 1995 | pp 135 - 277 | ||
| Issue 03 | Jul 1995 | pp 279 - 460 | ||
| Issue 04 | Oct 1995 | pp 461 - 662 |
-
1994
(Volume
4)
1994
(Volume
4)
Journal of Functional Programming
| Issue 01 | Jan 1994 | pp 1 - 123 | ||
| Issue 02 | Apr 1994 | pp 125 - 283 | ||
| Issue 03 | Jul 1994 | pp 285 - 394 | ||
| Issue 04 | Oct 1994 | pp 395 - 561 |
-
1993
(Volume
3)
1993
(Volume
3)
Journal of Functional Programming
| Issue 01 | Jan 1993 | pp 1 - 122 | ||
| Issue 02 | Apr 1993 | pp 123 - 250 | ||
| Issue 03 | Jul 1993 | pp 251 - 387 | ||
| Issue 04 | Oct 1993 | pp 389 - 566 |
-
1992
(Volume
2)
1992
(Volume
2)
Journal of Functional Programming
| Issue 01 | Jan 1992 | pp 1 - 126 | ||
| Issue 02 | Apr 1992 | pp 127 - 244 | ||
| Issue 03 | Jul 1992 | pp 245 - 385 | ||
| Issue 04 | Oct 1992 | pp 387 - 515 |
-
1991
(Volume
1)
1991
(Volume
1)
Journal of Functional Programming
- © Cambridge University Press .
- Copyright Statement |
- Rights and Permissions |
- Privacy Policy |
- Terms of Use |
- Press Release |
- Feedback