Title: Simulation in Strongly Typed Languages