Dziennik programowania funkcjonalnego
| Dyscyplina | Informatyka |
|---|---|
| Język | język angielski |
| Edytowany przez | Jeremy Gibbons , Shriram Krishnamurthi |
| Szczegóły publikacji | |
| Historia | 1991 – obecnie |
| Wydawca |
Cambridge University Press (Wielka Brytania) |
| Częstotliwość | Dwumiesięczny |
| autor-płaci złoty otwarty dostęp (od stycznia 2022) | |
| Standardowe skróty | |
| ISO 4 | J. Funkcja. Program. |
| Indeksowanie | |
| ISSN |
0956-7968 (druk) 1469-7653 (internet) |
| Spinki do mankietów | |
Journal of Functional Programming to recenzowane czasopismo naukowe obejmujące projektowanie, wdrażanie i zastosowanie funkcjonalnych języków programowania , obejmujące zakres od teorii matematyki po praktykę przemysłową. Omawiane tematy obejmują języki funkcjonalne i rozszerzenia, techniki implementacji, rozumowanie i dowód, transformację i syntezę programu, systemy typów, teorię typów, bezpieczeństwo oparte na języku , zarządzanie pamięcią, równoległość i aplikacje. Czasopismo jest interesujące dla informatyków, inżynierów oprogramowania, badaczy języków programowania i matematyków zainteresowanych logicznymi podstawami programowania. Philip Wadler był redaktorem naczelnym w latach 1990-2004. Czasopismo jest indeksowane w Zentralblatt MATH .
Od 2022 r. czasopismo jest wydawane w trybie otwartego dostępu : artykuły w czasopiśmie są dostępne online bez abonamentu. Oczekuje się, że instytucje autorskie pokryją koszty czasopisma: od 2022 r. opłata za opracowanie artykułu wynosi 1250 GBP za artykuł.