Reasoning tradeoffs in languages with enhanced modularity features | Publicación