フォロー
(PDF) Detecting argument selection defects
ANDREW RICE, University of Cambridge, England and Google Inc., USA
EDWARD AFTANDILIAN, CIERA JASPAN, and EMILY JOHNSTON, Google Inc., USA
MICHAEL PRADEL, TU Darmstadt, Germany
YULISSA ARROYO-PAREDES, Barnard College of Columbia University, USA
https://www.researchgate.net/publication/320388080_Detecting_argument_selection_defects
INTRODUCTIONをグーグル翻訳で斜め読みしただけだからよくわかんないけど（＞＜；）、Ada的発想で言うなら基本型（？ 組み込み型？）であるString型そのまま使うんじゃなく型作れ！＞＜ってなるんでは？＞＜（それじゃだめなの？＞＜）