Functional programming (Computer science)

Practical Haskell = a real-world guide to functional programming / by: (Electronic resources)

Grokking simplicity : = taming complex software with functional thinking / by: (Language materials, printed)

Beginning kotlin = build applications with better code, productivity, and performance / by: (Electronic resources)

Introduction to dependent types with Idris = encoding program proofs in types / by: (Electronic resources)

Python in-depth = use Python programming features, techniques, and modules to solve everyday problems / by: (Electronic resources)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Language materials, printed)

Drawing programs = the theory and practice of schematic functional programming / by: (Language materials, printed)

Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / by: (Electronic resources)

Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers / by: (Electronic resources)

Trends in functional programming = 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers / by: (Electronic resources)

Beginning Haskell = a project-based approach / by: (Electronic resources)

Functional and logic programming = 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / by: (Electronic resources)

A beginner's guide to Scala, object orientation and functional programming by: (Electronic resources)

Trends in functional programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers / by: (Electronic resources)

Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013 : revised selected papers / by: (Electronic resources)

Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / by: (Electronic resources)

Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / by: (Electronic resources)

Scala = from a functional programming perspective : an introduction to the programming language / by: (Electronic resources)

Pro functional PHP programming = application development strategies for performance optimization, concurrency, testability, and code brevity / by: (Electronic resources)

Reactive with ClojureScript recipes = functional programming for the web / by: (Electronic resources)

A beginner's guide to Scala, object orientation and functional programming by: (Electronic resources)

Practical Haskell = a real world guide to programming / by: (Electronic resources)

Numerical methods using Kotlin = for data science, analysis, and engineering / by: (Electronic resources)

Functional programming in R 4 = advanced statistical programming for data science, analysis, and finance / by: (Electronic resources)

Introducing functional programming using C# = leveraging a new perspective for OOP developers / by: (Electronic resources)