JFP热门内容

《函数式程序设计》是唯一一本专门研究函数式程序设计语言的设计、实现和应用的期刊，涵盖了从数学理论到工业实践的各个领域。主题包括函数语言和扩展、实现技术、推理和证明、程序转换和合成、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用程序。特别轨道致力于工具和应用，商业用途和教育；珍珠型文件是鼓励。官网地址：http://dblp.uni-trier.de/db/journals/jfp/