Functional and Concurrent Programming