"static type checkers" - related articles and key terms