Зображення обкладинки

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers /

This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10–12, 2024. The 10 full papers included in this book were carefully reviewed and selected from 14 submissions. Topical sect...

Повний опис

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Hemann, Jason (Редактор), Chang, Stephen (Редактор)
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Редагування:	1st ed. 2025.
Серія:	Lecture Notes in Computer Science, 14843
Предмети:	Computer programming. Natural language processing (Computer science). Computer systems. Microprogramming . Programming languages (Electronic computers). Programming Techniques. Natural Language Processing (NLP). Computer System Implementation. Control Structures and Microprogramming. Programming Language.
Онлайн доступ:	https://doi.org/10.1007/978-3-031-74558-4
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers /
Опубліковано: (2023)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Опубліковано: (2023)

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
Опубліковано: (2025)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
Опубліковано: (2023)

Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings /
Опубліковано: (2024)

Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23–25, 2025, Proceedings /
Опубліковано: (2025)

Genetic Programming 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings /
Опубліковано: (2023)

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
Опубліковано: (2024)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 18th International Conference, NooJ 2024, Bergamo, Italy, June 5–7, 2024, Revised Selected Papers /
Опубліковано: (2025)

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures /
Опубліковано: (2025)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 17th International Conference, NooJ 2023, Zadar, Croatia, May 31–June 2, 2023, Revised Selected Papers /
Опубліковано: (2024)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Опубліковано: (2024)

Languages and Compilers for Parallel Computing 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12–14, 2022, Revised Selected Papers /
Опубліковано: (2023)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Опубліковано: (2024)

Formal Analysis for Natural Language Processing: A Handbook
за авторством: Feng, Zhiwei
Опубліковано: (2023)

Fortran-77
за авторством: Khurmi, R. S.
Опубліковано: (1988)

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /
Опубліковано: (2024)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Опубліковано: (2025)

Collaboration in Knowledge Discovery and Decision Making Third International Workshop, DECISIONING 2024, Pereira, Colombia, June 4–6, 2024, Proceedings /
Опубліковано: (2025)

The Python Workbook A Brief Introduction with Exercises and Solutions /
за авторством: Stephenson, Ben
Опубліковано: (2025)

Programming with C and C++
за авторством: Rahman, L.
Опубліковано: (1998)

C++
за авторством: Balagurusamy, E.
Опубліковано: (1995)

C: The Complete Reference
за авторством: Schildt, Herbert
Опубліковано: (1995)

Programming in ANSI C
за авторством: Schildt, Herbert
Опубліковано: (1994)

Programming with C
за авторством: Gottfried, Byron S.
Опубліковано: (1996)

C-Programming
за авторством: Liton, Kamruzzaman
Опубліковано: (2000)

C-Programming
за авторством: Giasuddin, M.
Опубліковано: (2001)

Teach Yourself C
за авторством: Schildt, Herbert
Опубліковано: (1994)

Programming in C /
за авторством: Kochan, Stephen G.
Опубліковано: (1987)

Let us C /
за авторством: Kanetkar, Yashavant

কম্পিউটার প্রোগ্রামিং গাইড
за авторством: Kibriya, Golam
Опубліковано: (1994)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Опубліковано: (2023)

Programming with C/
за авторством: Gottfried, Byron S.
Опубліковано: (2011)

Programming with C.
за авторством: Gottfried, Byron S.
Опубліковано: (2011)

Programming with C
за авторством: Gottfried, Byron S
Опубліковано: (2011)

Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers /
Опубліковано: (2023)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part I /
Опубліковано: (2025)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part II /
Опубліковано: (2025)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Опубліковано: (2023)

Pascal An introduction to methodical programming
за авторством: Findlay, William
Опубліковано: (1985)