From Code to Computation : A Modern Guide to Programming and Theory