Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Stephanie Weirich

Position Paper: The Science of Deep Specification

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

English

System FC With Explicit Kind Equality

ACM SIGPLAN Notices

Computer Science

English

A Role for Dependent Types in Haskell

Proceedings of the ACM on Programming Languages

English

Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics

English

Encoding Intensional Type Analysis

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

Nobel Lecture: The BEH Mechanism and Its Scalar Boson

Reviews of Modern Physics

English

Nobel Lecture: Single-Molecule Spectroscopy, Imaging, and Photocontrol: Foundations for Super-Resolution Microscopy

Reviews of Modern Physics

English

The Conformal Bootstrap: Theory, Numerical Techniques, and Applications

Reviews of Modern Physics

English

Erratum: Axions and the Strong CP Problem [Rev. Mod. Phys. 82 , 557 (2010)]

Reviews of Modern Physics

English

Colloquium: Quantum Networks With Trapped Ions

Reviews of Modern Physics

English

Ion Acceleration by Superintense Laser-Plasma Interaction

Reviews of Modern Physics

English

Colloquium: Hidden Order, Superconductivity, and Magnetism: The Unsolved Case ofURu2Si2

Reviews of Modern Physics

English

Colloquium: Area Laws for the Entanglement Entropy

Reviews of Modern Physics

English

Sap Flow and Sugar Transport in Plants

Reviews of Modern Physics

English

Asymmetries in Top Quark Pair Production at Hadron Colliders

Reviews of Modern Physics

English