วารสารการเขียนโปรแกรมเชิงฟังก์ชัน

การลงโทษ	วิทยาการคอมพิวเตอร์
ภาษา	ภาษาอังกฤษ
เรียบเรียงโดย	เดเร็ก เดรเยอร์, ​​กาเบรียล เคลเลอร์
รายละเอียดการตีพิมพ์
ประวัติศาสตร์	ปี 1991–ปัจจุบัน
สำนักพิมพ์	ญาณวิทยา  (สหราชอาณาจักร)
ความถี่	สองเดือนครั้ง
การเข้าถึงแบบเปิด	การเข้าถึงแบบเปิดเพชร (ตั้งแต่มกราคม 2026 [ 1 ] ; ก่อนหน้านี้ได้เปลี่ยนเป็นการเข้าถึงแบบเปิด ที่ผู้เขียนต้องชำระเงิน ในปี 2022 [ 2 ] )
คำย่อมาตรฐานISO 4 ( alt )  · Bluebook ( alt ) NLM ( alt )  · MathSciNet ( alt )
ISO 4	J. Funct. Program.
แมธไซเน็ต	เจ. ฟังก์ชันการเขียนโปรแกรม
การจัดทำดัชนีCODEN ( alt  · alt2 )  · JSTOR ( alt )  · LCCN ( alt ) MIAR  · NLM ( alt )  · Scopus  · W&L
ISSN	0956-7968  (ฉบับพิมพ์) 1469-7653  (ฉบับออนไลน์)
ลิงก์
หน้าหลักวารสาร คลังบทความออนไลน์ก่อนปี 2026

วารสารการเขียนโปรแกรมเชิงฟังก์ชัน^{[ 3 ]}เป็นวารสารทางวิทยาศาสตร์ ที่ ผ่านการตรวจสอบโดยผู้ทรงคุณวุฒิ ครอบคลุมการออกแบบ การนำไปใช้ และการประยุกต์ใช้ภาษาการเขียนโปรแกรมเชิงฟังก์ชันครอบคลุมตั้งแต่ทฤษฎีทางคณิตศาสตร์ไปจนถึงการปฏิบัติในอุตสาหกรรม หัวข้อที่ครอบคลุม ได้แก่ ภาษาเชิงฟังก์ชันและส่วนขยาย เทคนิคการนำไปใช้ การให้เหตุผลและการพิสูจน์ การแปลงและการสังเคราะห์โปรแกรม ระบบประเภท ทฤษฎีประเภทความปลอดภัยตามภาษาการจัดการหน่วยความจำ การประมวลผลแบบขนาน และการประยุกต์ใช้ วารสารนี้เป็นที่สนใจของนักวิทยาศาสตร์คอมพิวเตอร์ วิศวกรซอฟต์แวร์ นักวิจัยภาษาการเขียนโปรแกรม และนักคณิตศาสตร์ที่สนใจในรากฐานเชิงตรรกะของการเขียนโปรแกรมฟิลิป วาดเลอร์ดำรงตำแหน่งบรรณาธิการบริหารตั้งแต่ปี 1990 ถึง 2004 วารสารนี้ได้รับการจัดทำดัชนีในZentralblatt MATH

นับตั้งแต่ปี 2026 วารสารนี้ได้เผยแพร่ในรูปแบบ โอเพ่นแอ็กเซ สแบบไดมอนด์ (Diamond Open Access ) กล่าวคือ บทความในวารสารสามารถเข้าถึงได้ทางออนไลน์โดยไม่ต้องสมัครสมาชิก และไม่มีค่าธรรมเนียมการประมวลผลบทความจากผู้เขียน การเปลี่ยนแปลงนี้เป็นผลมาจากการเปลี่ยนสำนักพิมพ์จากCambridge University Pressไปเป็นEpisciencesวารสารทุกฉบับก่อนหน้านี้ที่ตีพิมพ์โดยCambridge University Pressได้ถูกเปิดให้เข้าถึงได้ฟรีเช่นกัน

• การประชุมวิชาการนานาชาติว่าด้วยการเขียนโปรแกรมเชิงฟังก์ชัน
• การคำนวณลำดับสูงและเชิงสัญลักษณ์

• เว็บไซต์อย่างเป็นทางการ
• เว็บไซต์สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์ที่มีหนังสือตีพิมพ์ก่อนปี 2026