Log In

• Register Now
• Guest
• Username Password
• Athens Log In
• Forgot your Password?

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

See larger image

• Editor(s):
• 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

First View Articles

Current Volume [Hide Current Volume] Current Volume

2008 Volume 18
	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

Back Volumes [Hide Back Volumes] Back Volumes

• 2000s (2000 Vol 10 - 2007 Vol 17) 2000s (2000 Vol 10 - 2007 Vol 17)  Journal of Functional Programming

• 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 103 - 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