Journal of Functional Programming
Covers new languages and extensions, reasoning, proof and program transformation, program synthesis, implementation techniques, type theory, and parallelism.
|
|
|
| Название журнала |
Journal of Functional Programming |
| Аббревиатура наименования |
JFPRES |
| Страна |
United Kingdom |
| Издатель |
Cambridge University Press |
| Первый год издания |
1991 |
| Периодичность |
938415 Matthias Felleisen Cambridge University Press Editor-In-Chief |
| Формат публикации |
Print |
| Статус |
Active |
| Тип содержимого |
Academic / Scholarly |
| Тип издания |
Journal |
| Классификаторы: UPD |
COMPUTERS - COMPUTER PROGRAMMING |
| Ключевые характеристики |
Copyright Clearance Center (CCC) | Abstracted or Indexed | Journal Citation Reports | Refereed / Peer-reviewed | RSS Availability | Table of Contents | Website URL |
| Дополнительные характеристики |
Advertising included | Back issues available | Reprint available |
| Вебсайт |
http://journals.cambridge.org/action/displayJournal?jid=JFP |
| Доступность архива онлайн |
Cambridge University Press 2009 Cambridge Journals Digital Archive - CJDA Full Collection 01/01/1991-11/01/1996 | Cambridge University Press 2009 Cambridge Journals Digital Archive - CJDA STM Collection 01/01/1991-11/01/1996 | Cambridge University Press 2010 Cambridge Journals Digital Archive - CJDA Full Collection 01/01/1991-11/01/1996 | Cambridge University Press 2010 Cambridge Journals Digital Archive - CJDA STM Collection 01/01/1991-11/01/1996 | Cambridge University Press 2011 Cambridge Journals Digital Archive - CJDA Full Collection 01/01/1991-11/01/1996 | Cambridge University Press 2011 Cambridge Journals Digital Archive - CJDA STM Collection 1991-1996 | Cambridge University Press 2012 Cambridge Journals Full Package Standard UK 01/01/1997- | Cambridge University Press 2012 Cambridge Journals STM Standard UK 01/01/1997- | Cambridge University Press Cambridge Journals - Bibsam 01/01/1997- | Cambridge University Press Cambridge Journals - WALDO 01/01/1997- | Cambridge University Press Cambridge Journals Digital Archive 2013 CJDA STM Package 01/01/1991-11/30/1996 | Cambridge University Press Cambridge Journals Digital Archives 1991-1996 | Cambridge University Press Cambridge Journals Digital Archives - JISC 1991-1996 | Cambridge University Press Cambridge Journals Online 1997- | Cambridge University Press Cambridge Journals Online - MCLS 2011 1997- | Cambridge University Press Cambridge Journals Online Full Collection - JANUL 1997- | Cambridge University Press Cambridge Journals Online Full Collection - JUSTICE 1997- | Cambridge University Press Cambridge Journals Online Full Collection - PULC 1997- | Cambridge University Press Cambridge Journals Online STM Collection - JANUL 1997- | Cambridge University Press Cambridge Journals Online STM Collection - JUSTICE 1997- | Cambridge University Press Cambridge Journals Online STM Collection - PULC 1997- | Cambridge University Press Cambridge University Press - CRKN 01/01/1997- | Cambridge University Press Cambridge University Press - CRKN Package 2012 01/01/1997- | Cambridge University Press Cambridge University Press - NERL 01/01/1997- | Cambridge University Press Cambridge University Press - SHEDL 01/01/1997- | Cambridge University Press Cambridge University Press - SURFmarket 1997- | Cambridge University Press Cambridge University Press Scientific,Technical and Medical Archives - JISC 01/01/1991-01/01/1996 | Cambridge University Press Cambridge University Press:NESLI2/SHEDL:Full Collection:2010-2012:Year 2 01/01/1997- | Cambridge University Press NESLi2 Cambridge University Press Journals - Full Collection 01/01/1997- | Cambridge University Press NESLi2 Cambridge University Press Journals - STM Collection 01/01/1997- | Copyright Clearance Center Get It Now 2007- | EBSCOhost EBSCO A-to-Z 01/01/1997-03/31/2013 | EBSCOhost E-Journals Database 01/01/1997-03/31/2013 | HEAL Link Hellenic Academic Libraries Link 1997- | JISC JISC Journal Archives 1966-1966, 1991-1996 | OCLC Electronic Collections Online 1997-2012 | OCLC Electronic Collections Online 1997-2012 | OhioLINK OhioLINK Electronic Journal Center 1999- | ProQuest ProQuest Advanced Technologies & Aerospace Collection 01/01/2001-1 year ago | ProQuest ProQuest Advanced Technologies & Aerospace Journals 01/01/2001-1 year ago | ProQuest ProQuest Central 01/01/2001-1 year ago | ProQuest ProQuest Central (Alumni) 01/01/2001-1 year ago | ProQuest ProQuest Central (Corporate) 01/01/2001-1 year ago | ProQuest ProQuest Central (Professional Edition) 01/01/2001-1 year ago | ProQuest ProQuest Central Basic - Korea Market Only 01/01/2001-1 year ago | ProQuest ProQuest Computer Science Collection 01/01/2001-1 year ago | ProQuest ProQuest Computing 01/01/2001-1 year ago | ProQuest ProQuest Computing (Alumni Edition) 01/01/2001-1 year ago | ProQuest ProQuest SciTech Collection 01/01/2001-1 year ago | ProQuest ProQuest Technology Collection 01/01/2001-1 year ago | Scholars Portal Scholars Portal Journals: Cambridge 1997- | Swets SwetsWise Online Content 1997- |
| Редколлегия |
Matthias Felleisen Cambridge University Press Editor-In-Chief E-Mail matthias@ccs.neu.edu |
