abstract:The Journal of Functional ProgrammingJournal of Functional Programming, DBLP. is a peer-reviewed scientific journal covering the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice.