مجلة البرمجة الوظيفية

مجلة البرمجة الوظيفية ^{[ 3 ]} هي مجلة علمية محكمة تُعنى بتصميم وتنفيذ وتطبيق لغات البرمجة الوظيفية ، وتغطي نطاقًا واسعًا من النظرية الرياضية إلى التطبيق العملي. تشمل المواضيع التي تتناولها المجلة اللغات الوظيفية وامتداداتها، وتقنيات التنفيذ، والاستدلال والبرهان، وتحويل البرامج وتوليفها، وأنظمة الأنواع، ونظرية الأنواع، والأمان القائم على اللغة ، وإدارة الذاكرة، والتوازي وتطبيقاته. تُعدّ المجلة ذات أهمية لعلماء الحاسوب، ومهندسي البرمجيات، وباحثي لغات البرمجة، والرياضيين المهتمين بالأسس المنطقية للبرمجة. شغل فيليب وادلر منصب رئيس التحرير من عام 1990 إلى عام 2004. المجلة مُفهرسة في Zentralblatt MATH .

ابتداءً من عام 2026، تُنشر المجلة بنظام الوصول المفتوح الماسي : حيث تُتاح مقالاتها عبر الإنترنت دون اشتراك، ودون أي رسوم على معالجة بيانات المؤلفين. ويأتي هذا بعد تغيير الناشر من مطبعة جامعة كامبريدج إلى دار نشر إبيساينسز . وكانت جميع المجلدات السابقة من المجلة، التي نشرتها مطبعة جامعة كامبريدج، متاحة مجانًا.

• المؤتمر الدولي حول البرمجة الوظيفية
• الحسابات ذات الرتبة العليا والرمزية

• الموقع الرسمي
• موقع مطبعة جامعة كامبريدج الذي يحتوي على منشورات ما قبل عام 2026