Вы здесь

Главная

функциональное программирование

Связанные издания:

Java as a Functional Programming Language
Language Engineering and Rigorous Software Development: Recides Tutorial Lectires/ International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February/March 2008
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/ 18th Intl Symposium, LOPSTR 2008. Valencia, Spain, July 2008
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013
Mathematics of Program Construction: Proc./13th International Conference, MPC 2019, Porto, Portugal, October 2019
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 2012
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 2013
Parallel Computing Technologies: Proc./9th International Conference, PaCT 2007. Pereslavl-Zalessky, Russia, September 2007
Paths between Imperative and Functional Programming
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009
Practical Aspects of Declarative Languages: Proc./10th International Symposium, PADL 2008. San Francisco, CA, USA, January 2008
Practical Aspects of Declarative Languages: Proc./10th International Symposium, PADL 2018, Los Angeles,CA,USA, January 2018
Practical Aspects of Declarative Languages: Proc./12th International Symposium, PADL 2010, Madrid, Spain, January 2010
Practical Aspects of Declarative Languages: Proc./13th International Symposium, PADL 2011, Austin,TX,USA, January 2011
Practical Aspects of Declarative Languages: Proc./21th International Symposoum, PADL 2019, Lisbon, Portugal, January 2019
Programming Languages and Systems: Proc./13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 2015
Programming Languages and Systems: Proc./17th European Symposium on Programming, ESOP 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008
Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Programming Languages and Systems: Proc./8th Asian Symposium, APLAS 2010, Shanghai, China, November/December 2010
Programming Languages: Proc./17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 2013
Programming Languages: Proc./18th Brazilian Symposium, SBLP 2014, Maceiro, Brazilm October 2014
Programming Logics: Essays in Memory of Harald Ganzinger
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/20th International Workshop, WADT 2010, Etelsen, Germany, July 2010
Reflections on the Teaching of Programming: Methods and Implementations
Relational and Algebraic Methods in Computer Science: Proc./13th International Conference, RAMiCS 2012, Cambridge, UK, September 2012
Scala: From a Functional Programming Perspective: An Introduction to the Programming Language
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
Software Composition: Proc./8th International Conference, SC 2009. Zurich, Switzerland, July 2009
Stochastic Process Algebras Meet Eden
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Trends in Functional Programming: Revised Selected Papers/16th International Symposium, TFP 2015, Sophia Antipolis, France, June 2015
Trends in Functional Programming: Revised Selected Papers/19th International Symposium, TFP 2018, Gothenburg, Sweden, June 2018
Trends in Functional Programming: Revised Selected Papers/20th International Symposium, TFP 2019, Vancouver,BC,Canada, June 2019
Trends in Functional Programming: Revised Selected Papers/21st International Symposium, TFP 2020, Krakow, Poland, February 2020
Trends in Functional Programming: Revised Selected Papers/22nd International Symposium, TFP 2021, Virtual Event, February 2021
Type-Directed Concurrency
Банк улучшаемых компонетнов информационных систем
Библиотека функционального программирования для языка C++
Визуализация внутреннего представления программ в системе функционального программирования SFP
Внутреннее представление системы функционального программирования SISAL 3.0
Выявление и доказательство свойств функциональных программ методами суперкомпиляции
Исследование вопросов преподавания функционального программирования и компьютерной алгебры в университете
Компилятор в системе функционального программирования
Модели и реализация транслирую их компонентов системы функционального программирования
Основы функционального программирования
Парадигма программирования: Учебное пособие
Подходы к представлению синтаксиса языков программирования
Подходы к представлению синтаксиса языков программирования
Пользовательский интерфейс интегрированной среды функционального программирования SFP