Migrating gradual types
- 期刊名称Proceedings of the ACM on Programming Languages
- 作者Campora, John Peter; Chen, Sheng; Erwig, Martin; Walkingshaw, Eric
- 卷第2卷
- 电子ISSN2475-1421
- 文件大小429.79KB
- 发表时间2017-12-27
- DOI10.1145/3158103
- 页码1-29
in globally anisotropic aerogelsAoyama, Kazushi; Ikeda, Ryusuke · Physical Review B · 2010
”Ikeda, Ryusuke · Physical Review Letters · 1999
in aerogelAoyama, Kazushi; Ikeda, Ryusuke · Physical Review B · 2005
-wave superconductorHosoya, Ken-ichi; Ikeda, Ryusuke · Physical Review B · 2013
in aerogelAoyama, Kazushi; Ikeda, Ryusuke · Physical Review B · 2007
in uniaxially anisotropic aerogelAoyama, Kazushi; Ikeda, Ryusuke · Physical Review B · 2006
-Wave Superconductors”Ikeda, Ryusuke; Adachi, Hiroto · Physical Review Letters · 2005
in globally isotropic random mediaIkeda, Ryusuke; Aoyama, Kazushi · Physical Review B · 2009
Microwave Discharge ChamberFukui, Shūji; Hayakawa, Satio · Journal of the Physical Society of Japan · 1960
Anomalous Thermal Expansion of CoS <sub/>2</sub>Kasai, Naoko · Journal of the Physical Society of Japan · 1973
Relativistic Shock WaveOhsawa, Yukiharu · Journal of the Physical Society of Japan · 1987
Wave Propagation in Anharmonic LatticesToda, Morikazu · Journal of the Physical Society of Japan · 1967
Electrical Properties of Stannous SelenideAsanabe, Sizuo · Journal of the Physical Society of Japan · 1959
Spin Damping MonopoleTakeuchi, Akihito; Tatara, Gen · Journal of the Physical Society of Japan · 2012
Physics of Molecular ConductorsFukuyama, Hidetoshi · Journal of the Physical Society of Japan · 2006
Accelerated Sampling of Boltzmann DistributionsOrland, Henri · Journal of the Physical Society of Japan · 2009