Caprine arthritis encephalitis virus Caprine arthritis encephalitis virus Caprine arthritis encephalitis virus (CAEV) is a retrovirus which infects goats and cross-reacts immunologically with HIV, due to being from the same family of viruses. CAEV cannot be transmitted to humans, including through the consumption of milk from an infected goat. There is no evidence that CAEV can cure HIV in humans. CAEV is commonly transferred within the goat species by ingestion of colostrum or milk from an infected goat, and to a less extent, cross species CAEV transfer by sheep is possible . CAEV adversely affects the immune system of its host, causing a disease
Type erasure Type erasure In programming languages, type erasure refers to the load-time process by which explicit type annotations are removed from a program, before it is executed at run-time. Operational semantics that do not require programs to be accompanied by types are called "type-erasure semantics", to be contrasted with "type-passing semantics". The possibility of giving type-erasure semantics is a kind of abstraction principle, ensuring that the run-time execution of a program does not depend on type information. In the context of generic programming, the opposite of type erasure is called reification. The reverse operation is called type inference. Though type erasure