Tonight my colleague Byron Cook from MSR Cambridge will be speaking at the F#unctional Londoners meetup group Byron Cook: Proving program termination with F# Wednesday, November 16, 2011, 6:30 PM The Skills Matter eXchange 116-120 Goswell Road,  London (map) In recent years we have seen great progress made in the area of  automatic source-level static analysis … Continue reading Tonight at F#unctional Londoners: Byron Cook: Proving program termination with F# →