Lazy types: automating dynamic strategy selection | IEEE Journals & Magazine | IEEE Xplore