Type system

Computer science concept From Wikipedia, the free encyclopedia