F# Imperative Programming: How imperative programming could allow type laundering and how the value restriction prevents it.

Download Source