Trends in Functional Programming: 26th International Symposium, Tfp 2025, Oxford, Uk, January 14-16, 2025, Revised Selected Papers
暫譯: 函數式程式設計的趨勢：第26屆國際研討會 TFP 2025，英國牛津，2025年1月14日至16日，修訂選定論文
Gibbons, Jeremy
- 出版商: Springer
- 出版日期: 2025-10-02
- 售價: $5,500
- 貴賓價: 9.5 折 $5,225
- 語言: 英文
- 頁數: 534
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031997506
- ISBN-13: 9783031997501
-
相關分類:
Functional-programming
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes revised selected papers from the 26th International Symposium on Trends in Functional Programming, TFP 2025, held in Oxford, UK, during January 13-16, 2025.
The 20 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 35 submissions. They were categorized under the topical sections as follows: Invited papers; Language Design; Compilation; Semantics; Types; Program Synthesis; Teaching.
商品描述(中文翻譯)
本書包含了2025年1月13日至16日在英國牛津舉行的第26屆國際函數編程趨勢研討會（TFP 2025）經修訂的選定論文。
本卷中呈現的20篇完整論文和2篇邀請論文經過仔細審查和選擇，來自35篇投稿。它們被分類為以下主題部分：邀請論文；語言設計；編譯；語義；類型；程式合成；教學。
