4 ms·Journal of Functional Programming – Special Issue on Program Calculation3 points by ghuntley 3y ago