Functional programming (Computer science)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-語言資料,印刷品)

Drawing programs = the theory and practice of schematic functional programming / by: (書目-語言資料,印刷品)

A tight, practical integration of relations and functions by: (書目-語言資料,印刷品)

Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / by: (書目-電子資源)

Trends in functional programming = 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers / by: (書目-電子資源)

Beginning Haskell = a project-based approach / by: (書目-電子資源)

Functional and logic programming = 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / by: (書目-電子資源)

A beginner's guide to Scala, object orientation and functional programming by: (書目-電子資源)

Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings / by: (書目-電子資源)

Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers / by: (書目-電子資源)

Beginning functional JavaScript = functional programming with JavaScript using EcmaScript 6 / by: (書目-電子資源)

Functional programming in R = advanced statistical programming for data science, analysis and finance / by: (書目-電子資源)

Quick Clojure = effective functional programming / by: (書目-電子資源)

Pro functional PHP programming = application development strategies for performance optimization, concurrency, testability, and code brevity / by: (書目-電子資源)

Reactive with ClojureScript recipes = functional programming for the web / by: (書目-電子資源)

A beginner's guide to Scala, object orientation and functional programming by: (書目-電子資源)

Practical Haskell = a real world guide to programming / by: (書目-電子資源)

Head first Kotlin : = a brain-friendly guide / by: (書目-語言資料,印刷品)

Practical Haskell = a real-world guide to functional programming / by: (書目-電子資源)

Grokking simplicity : = taming complex software with functional thinking / by: (書目-語言資料,印刷品)

Beginning kotlin = build applications with better code, productivity, and performance / by: (書目-電子資源)

Numerical methods using Kotlin = for data science, analysis, and engineering / by: (書目-電子資源)

Introduction to dependent types with Idris = encoding program proofs in types / by: (書目-電子資源)

Functional programming in R 4 = advanced statistical programming for data science, analysis, and finance / by: (書目-電子資源)

Introducing functional programming using C# = leveraging a new perspective for OOP developers / by: (書目-電子資源)