Reverse-Mode AD in a Functional Framework - Lambda