Resultado da Busca
Journal of Functional Programming 是唯一一本专注于函数式编程语言的设计、实现和应用的期刊，涵盖范围从数学理论到工业实践。 涵盖的主题包括功能语言和扩展、实现技术、推理和证明、程序转换和综合、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用程序。
26 de set. de 2022 · Journal of Functional Programming. ISSN: 0956-7968 (Print) , 1469-7653 (Online) Frequency: 1 volume per year. Journal of Functional Programming is an Open Access journal and is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to ...
免责声明. 《Journal Of Functional Programming》是一本由CAMBRIDGE UNIV PRESS出版商出版的专业计算机科学期刊，该刊创刊于1991年，刊期Bimonthly，该刊已被国际权威数据库SCI、SCIE收录。. 在中科院最新升级版分区表中，该刊分区信息为大类学科：计算机科学2区，小类学科 ...
Functional programming in education – Introduction - Volume 3 Issue 1. To save this article to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account.
We take Abramsky's term assignment for Intuitionistic Linear Logic (the linear term calculus) as the basis of a functional programming language. This is a language where the programmer must embed explicitly the resource and control information of an algorithm.
Chuang, T.-R. and Goldberg, B. (1993) Real-time deques, multihead Turing machines, and purely functional programming. In: Proceedings of the Conference on Functional Programming and Computer Architecture, Copenhagen, pp. 289 – 298 .
The seven papers that appear in this volume were reviewed, revised, and accepted following standard Journal of Functional Programming procedures. Reflecting the scope of the conference, the papers cover the theoretical foundations, implementation, design, programming techniques, and applications of functional languages.
