Most Recent Additions*

PDF

Observations of the high vibrational levels of the B′′B̄ 1Σu+ state of H2
Alexander M. Chartrand, W. Duan, R. C. Ekey, and Elizabeth McCormack

PDF

Continuity of heavy Rydberg behaviour in the ungerade ion-pair states of H2
Alexander M. Chartrand, Robert J. Donovan, Kenneth P. Lawley, and Elizabeth McCormack

PDF

Monitoring a simple hydrolysis process in an organic solid by observing methyl group rotation
Peter A. Beckmann, Joseph M. Bohen, Jamie Ford, William P. Malachowski, Clelia W. Mallory, Frank B. Mallory, Andrew R. McGhie, Arnold L. Rheingold, Gilbert J. Sloan, Steven T. Szewczyk, Xianlong Wang, and Kraig A. Wheeler

PDF

Constrained Type Families
J. Garrett Morris and Richard A. Eisenberg

PDF

A Specification for Dependent Types in Haskell
Richard A. Eisenberg, Stephanie Weirich, Antoine Voizard, and Pedro Henrique Azevedo de Amorim

PDF

Injective Type Families for Haskell
Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg

*Updated as of 10/18/17.