1. 首页 ›
2. 英文期刊 › COMPUTER SCIENCE, SOFTWARE ENGINEERING

JOURNAL OF FUNCTIONAL PROGRAMMING

J FUNCT PROGRAM

ISSN：0956-7968　E-ISSN：1469-7653 　出版商：Cambridge University Press 　国家：ENGLAND 　周期：Bimonthly

Journal of Functional Programming is the only journal devoted solely to the design| implementation| and application of functional programming languages| spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions| implementation techniques| reasoning and proof| program transformation and synthesis| type systems| type theory| language-based security| memory management| parallelism and applications. The journal is of interest to computer scientists| software engineers| programming language researchers and mathematicians interested in the logical foundations of programming.

数据整理自公开网络的投稿反馈，仅供参考。