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 = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / by: (書目-電子資源)

Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers / by: (書目-電子資源)

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

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

Trends in functional programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers / by: (書目-電子資源)

Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013 : revised selected papers / 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: (書目-電子資源)

Scala = from a functional programming perspective : an introduction to the programming language / 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: (書目-電子資源)

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

Practical Haskell = a real world guide to 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: (書目-電子資源)

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: (書目-電子資源)

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

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

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