
Functional Algorithm Design, Part 2
Sometimes functions are not enough.
by Jeremy Gibbons on Dec 1, 2020 | Tags: formal specifications, functional programming, nondeterminism, randomized algorithms
Sometimes functions are not enough.
The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users.