An Introduction to Lambda Calculus and Functional Programming | IEEE Conference Publication | IEEE Xplore