Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Robert Harper

Online Master of Education Program: Academic Outcomes

Journal of Pediatrics

English

Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions Draft

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

A Universe of Binding and Computation

English

The Fox Project: Advanced Language Technology for Extensible Systems

English

Towards a Mechanized Metatheory of Standard ML

English

Related publications

Understanding Sexual Violence Perpetration

JAMA Pediatrics

English

JAMA Pediatrics

JAMA Pediatrics

English

Radiograph-Negative Lateral Ankle Injuries in Children

JAMA Pediatrics

English

Coronavirus Disease 2019 and Children

JAMA Pediatrics

English

Cost-Effectiveness of Universal and Targeted Newborn Screening for Congenital Cytomegalovirus Infection

JAMA Pediatrics

English

Multi-Institutional Profile of Adults Admitted to Pediatric Intensive Care Units

JAMA Pediatrics

English

Trends in Tobacco and Alcohol Brand Placements in Popular US Movies, 1996 Through 2009

JAMA Pediatrics

English

JAMA Pediatrics

JAMA Pediatrics

English

How Health Information Technology Is Failing to Achieve Its Full Potential

JAMA Pediatrics

English

Omission of Additional Contributions

JAMA Pediatrics

English