> Hardly, it depends on what you mean by "modularity". You cannot have it both > ways -- you claim that we ignored 50 years of research into type systems > which for me basically means "you ignored ML, Ocaml, Haskell"
I'm addressing imperative languages only. The paper (slide show) did mention SML . But this is just an example. Did you read the paper?
