This paper introduces reFL ect , a functional programming language with reflection features intended for applications in hardware design and verification. The reFL ect language is strongly typed and similar to ML, but has quotation and antiquotation constructs. These may be used to construct and decompose expressions in the reFL ect language itself. The paper motivates and presents the syntax and type system of this language, which brings together a new combination of pattern-matching and reflection features targeted specifically at our application domain. It also gives an operational semantics based on a new use of contexts as expression constructors, and it presents a scheme for compiling reFL ect programs into the λ-calculus using the same context mechanism.
Aim-To detect the presence or absence of Epstein-Barr virus (EBV) in cervical lesions ranging from normality to invasive malignancy. Methods EBV. In these, however, the evidence is less conclusive and the consistency of the association has yet to be established.Invasive carcinoma of the cervix is one of the commonest malignant tumours of the female genital tract. Much controversy surrounds its aetiology. The possibility of a sexually transmissible infectious carcinogen in the genesis of cervical neoplasia has received widespread attention. Possible agents include the herpes viruses, Chlamydia trachomatis, the human papillomaviruses (HPV), especially types 16 and 18, and cytomegalovirus.The association between EBV and the human uterine cervix is, as yet, not very well defined. Sixbey et al showed that cultured ectocervical epithelial cells can be infected with EBV.' These authors also showed late viral antigens and EBV DNA in the exfoliating cells but not in the attached epithelial monolayer, thus suggesting an association between viral replication and epithelial differentiation. Infectious EBV capable of transforming B lymphocytes has been isolated from cervical washings from women recovering from infectious mononucleosis and from EBV seropositive women who had no clinical or serological evidence of acute EBV infection.9 This suggests that the cervix could be a site for chronic viral shedding in a manner similar to that which occurs in the nasopharynx. These studies show both in vitro and in vivo evidence for EBV replication in the cervix. In contrast to the nasopharynx, where there is a close association between epithelial and lymphoid tissues, no such association exists in the cervix, suggesting that cervical epithelium may be a primary site of EBV infection.
We formally define-at the stream transformer level-a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properties of networks of such circuits and prove fundamental compositionality results. The paper contributes to bridging the gap between the theory of latency-insensitive systems and the correct implementation of efficient control structures for them.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.