• IFIP Working Group 2.8 (Functional Programming). The conference focuses on functional programming and related areas of programming languages, logic, compilers...
    3 KB (299 words) - 17:56, 5 January 2024
  • functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...
    86 KB (8,548 words) - 18:15, 16 May 2024
  • Thumbnail for Racket (programming language)
    Composable Control to a Production Programming Environment" (PDF). International Conference on Functional Programming. "Contracts". "Threads". "Futures"...
    35 KB (3,205 words) - 22:07, 28 April 2024
  • In functional programming, a monad is a structure that combines program fragments (functions) and wraps their return values in a type with additional computation...
    76 KB (9,421 words) - 10:21, 26 May 2024
  • with results announced at the International Conference on Functional Programming. Teams may be of any size and any programming language(s) may be used. There...
    14 KB (508 words) - 08:51, 23 May 2024
  • Thumbnail for Programming language theory
    Principles of Programming Languages (POPL), Programming Language Design and Implementation (PLDI), the International Conference on Functional Programming (ICFP)...
    15 KB (1,616 words) - 18:33, 23 March 2024
  • Thumbnail for F* (programming language)
    distributed programming with value-dependent types. ICFP '11: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming. Vol. 46...
    7 KB (430 words) - 11:22, 14 May 2024
  • Thumbnail for Erlang (programming language)
    Erlang (/ˈɜːrlæŋ/ UR-lang) is a general-purpose, concurrent, functional high-level programming language, and a garbage-collected runtime system. The term...
    43 KB (4,827 words) - 21:54, 14 May 2024
  • Lisp and Functional Programming, a conference in computer science that merged into the International Conference on Functional Programming in 1996 Lithium...
    2 KB (248 words) - 01:44, 11 November 2023
  • Liquid Haskell (category Static program analysis tools)
    of the 19th ACM SIGPLAN International Conference on Functional Programming. International Conference on Functional Programming. ACM. pp. 269–282. doi:10...
    3 KB (180 words) - 15:28, 11 January 2024