Вы здесь

Главная

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

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

Advanced Functional Programming: Proc./5th International School, AFP 2004. Tartu, Estonia, August 2004
Advanced Functional Programming: Revised Lectures/ 4th Intern. School, AFP 2002, Oxford, UK, August 2002
Advanced Functional Programming: Revised Lectures/6th International School, AFP 2008 Heijen, The Netherlands, May 2008
A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition
Algebraic Methodology and Software Technology: Revised Selected Papers/13th International Conference, AMAST 2010, Lac-Beauport,QC,Canada, June 2010
A New Approach to Generic Functional Programming
An Implementation of Session Types
Arrows, Robots, and Functional Reactive Programming
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
Automata Mista
Automatic Generation of Editors for Higher-Order Data Structures
Back-end translator for Sisal 3.1 compiler
Central European Functional Programming School: Revised Selected Lectures/First Summer School, CEFP 2005. Budapest, Hungary, July 2005
Central European Functional Programming School: Revised Selected Lectures/ Second Summer School, CEFP 2007. Cluj-Napoca, Romania, June 2007
Central European Functional Programming School: Revised Selected Lectures/ Third Summer School, CEFP 2009, Budapest, Hungary and Komarno, Slovakia, May 2009
Central European Functional Programming School: Revised Selected Papers/4th Summer School, CEFP 2011, Budapest, Hungary, June 2011
Central European Functional Programming School: Revised Selected Papers/5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 2013
Central European Functional Programming School: Revised Selected Papers/6th Summer School, CEFP 2015, Budapest, Hungary, July 2015
Coinductive Interpreters for Process Calculi
Compiling Exceptions Correctly
Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WELP, Cottbus, Germany, September 2019,
Deterministic Higher-Order Patterns for Program Transformation
Directions in Functional Programming for Real(-Time) Applications
Fifth Generation Computer Architectures: Proc./IFIP TC 10 Working Conference on Fifth Generation Computer Architectures, Manchester, UK, July 1985
Formal Methods: Foundations and Applications: Proc./21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 2018
Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2010, Paris, France, June 2010
Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/2nd International Workshop, FOPARA 2011, Madrid, Spain, May 2011
Functional and Constraint Logic Programming: /18th International Workshop, WELP 2009, Brasilia, Brazil, June 2009
Functional and Constraint Logic Programming: Revised Selected Papers/26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 2018
Functional and Constraint Logic Programming: Revised Selected Papers/28th International Workshop, WFLD 2020, Bologna, Italy, September 2020
Functional and Logic Programing: Proc./9th International Symposium, FLOPS 2008. Ise, Japan, April 2008
Functional and Logic Programming: Proc./10th International Symposium, FLOPS 2010, Sendai, Japan, April 2010
Functional and Logic Programming: Proc./13th International Symposium, FLOPS 2016, Kochi, Japan, March 2016
Functional and Logic Programming: Proc./15th International Symposium, FLOPS 2020, Acita Japan, September 2020
Functional and Logic Programming: Proc./8th International Symposium, FLOPS 2006. Fuji-Susono, Japan, April 2006
Functionally Modeled User Interfaces
Functional Programming and the Fragile Base Class Problem
Generation of Efficient Programs for Solving Maximum Multi-Marking Problems
Generic and Indexed Programming: Revised Lectures/ International Spring School, SSGIP 2010, Oxford, UK, March 2010
Genetic Programming: Proc./23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 2020
Genetic Programming: Proc./24th European Conference, Euro 2021, Held as Part of EvoStar 2021, Virtual Event, April 2021
Haskell: неформальная история
Implementation and Application of Functional Language: Revised Selected Papers/ 17th International Workshop, IFL 2005 Dublin,Ireland,September 2005
Implementation and Application of Functional Languages: Revised Selected Papers/18th International Symposium, IFL 2006. Budapest, Hungary, September 2006
Implementation and Application of Functional Languages: Revised Selected Papers/19th International Symposium, IFL 2007. Freiburg, Germany, September 2007
Implementation and Application of Functional Languages: Revised Selected Papers/20th International Symposium, IFL 2008, Hatfield, UK, September 2008
Implementation and Application of Functional Languages: Revised Selected Papers/21st International Symposium, IFL 2009, South Orange,NJ,USA, September 2009
Implementation and Application of Functional Languages: Revised Selected Papers/22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 2010
Implementation of Functional Languages: Revised Papers/15th International Workshop, IFL 2003. Edinburgh, UK, September 2003
Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009