Vitalsource Technologies, Inc. Functional and Concurrent Programming