Search for supersolidity in solid ⁴He using multiple-mode torsional oscillators
Eyal, Anna, Mi, Xiao, Talanov, Artem V., Reppy, John D.
Published in Proceedings of the National Academy of Sciences - PNAS (07.06.2016)
Published in Proceedings of the National Academy of Sciences - PNAS (07.06.2016)
Get full text
Journal Article
Implicitly threaded parallelism in Manticore
FLUET, MATTHEW, RAINEY, MIKE, REPPY, JOHN, SHAW, ADAM
Published in Journal of functional programming (01.11.2010)
Published in Journal of functional programming (01.11.2010)
Get full text
Journal Article
Compiling with Continuations and LLVM
Farvardin, Kavon, Reppy, John
Published in Electronic proceedings in theoretical computer science (31.12.2018)
Published in Electronic proceedings in theoretical computer science (31.12.2018)
Get full text
Journal Article
Interpreting Torsional Oscillator Measurements: Effect of Shear Modulus and Supersolidity
Reppy, John D., Mi, Xiao, Justin, Alexander, Mueller, Erich J.
Published in Journal of low temperature physics (01.08.2012)
Published in Journal of low temperature physics (01.08.2012)
Get full text
Journal Article
Pressure relaxations in solid helium-4
Rittner, Ann Sophie C, Reppy, John D
Published in Journal of physics. Conference series (01.02.2009)
Published in Journal of physics. Conference series (01.02.2009)
Get full text
Journal Article
Quantum Hoare Type Theory: Extended Abstract
Singhal, Kartik, Reppy, John
Published in Electronic proceedings in theoretical computer science (06.09.2021)
Published in Electronic proceedings in theoretical computer science (06.09.2021)
Get full text
Journal Article
Analyzing binding extent in 3CPS
Quiring, Benjamin, Reppy, John, Shivers, Olin
Published in Proceedings of ACM on programming languages (29.08.2022)
Published in Proceedings of ACM on programming languages (29.08.2022)
Get full text
Journal Article
Anomalous Inferred Viscosity and Normal Density Near the $$^3$$He $$T_{\mathrm{c}}$$ in a Torsion Pendulum
Tian, Yefan, Smith, Eric, Reppy, John, Parpia, Jeevak
Published in Journal of low temperature physics (01.12.2021)
Published in Journal of low temperature physics (01.12.2021)
Get full text
Journal Article
The history of Standard ML
MacQueen, David, Harper, Robert, Reppy, John
Published in Proceedings of ACM on programming languages (14.06.2020)
Published in Proceedings of ACM on programming languages (14.06.2020)
Get full text
Journal Article
Search for supersolidity in solid 4 He using multiple-mode torsional oscillators
Eyal, Anna, Mi, Xiao, Talanov, Artem V., Reppy, John D.
Published in Proceedings of the National Academy of Sciences - PNAS (07.06.2016)
Published in Proceedings of the National Academy of Sciences - PNAS (07.06.2016)
Get full text
Journal Article
Search for supersolidity in solid ^sup 4^He using multiple-mode torsional oscillators
Eyal, Anna, Mi, Xiao, Talanov, Artem V, Reppy, John D
Published in Proceedings of the National Academy of Sciences - PNAS (07.06.2016)
Get full text
Published in Proceedings of the National Academy of Sciences - PNAS (07.06.2016)
Journal Article