Jean-Francois Collard

• Reasoning About Program Transformations
• Reasoning About Program Transformations: Imperative Programming and Flow of Data
• Hands-On Data Analysis in R for Finance