
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.
Keep up-to-date with the latest technical developments, network with colleagues outside your workplace and get cutting-edge information, focused resources and unparalleled forums for discussions.
Join here: https://www.acm.org/special-interest-groups/sigs/sigplan