Single-crystal BiFeO3 Nanoplates with Robust Antiferromagnetism
- 期刊名称ACS Applied Materials & Interfaces
- 作者Yang, Xin; Zeng, Rongguang; Ren, Zhaohui; Wu, YanFei; Chen, Xing; Li, Ming; Chen, JiaLu; Zhao, Ruoyu; Zhou, DiKui; Liao, Zhi-Min; Tian, He; Lu, Yunhao; Li, Xiang; Li, Jixue; Han, Gaorong
- 印刷ISSN1944-8244
- 电子ISSN1944-8252
- 文件大小1526.15KB
- 发表时间2018-01-25
- DOI10.1021/acsami.7b17449
Migrating gradual typesCampora, John Peter; Chen, Sheng; Erwig, Martin; Walkingshaw, Eric · Proceedings of the ACM on Programming Languages · 2017
Extending Type Inference to Variational ProgramsChen, Sheng; Erwig, Martin; Walkingshaw, Eric · ACM Transactions on Programming Languages and Systems · 2014
Exploiting diversity in type checkers for better error messagesChen, Sheng; Erwig, Martin; Smeltzer, Karl · Journal of Visual Languages & Computing · 2016
An error-tolerant type system for variational lambda calculusChen, Sheng; Erwig, Martin; Walkingshaw, Eric · ACM SIGPLAN Notices · 2012
[IEEE 2011 15th International Software Product Line Conference (SPLC) - Munich, Germany (2011.08.22-2011.08.26)] 2011 15th International Software Product Line Conference - Optimizing the Product Derivation ProcessChen, Sheng; Erwig, Martin · 2011
[ACM Press the 5th International Workshop - Indianapolis, Indiana (2013.10.26-2013.10.26)] Proceedings of the 5th International Workshop on Feature-Oriented Software Development - FOSD '13 - An abstract representation of variational graphsErwig, Martin; Walkingshaw, Eric; Chen, Sheng · 2013
[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Type-based parametric analysis of program familiesChen, Sheng; Erwig, Martin · 2014
Pure type systems with judgemental equalityADAMS, ROBIN · Journal of Functional Programming · 2005
FUNCTIONAL PEARL Unfolding pointer algorithmsBIRD, RICHARD S. · Journal of Functional Programming · 2001
Red-black trees with typesKAHRS, STEFAN · Journal of Functional Programming · 2001
Functional programming for business studentsMolyneux, Phil · Journal of Functional Programming · 1993
Metamorphism in jigsawNAKANO, KEISUKE · Journal of Functional Programming · 2013
Data types à la carteSWIERSTRA, WOUTER · Journal of Functional Programming · 2008
Delimited control and computational effectsDOWNEN, PAUL; ARIOLA, ZENA M. · Journal of Functional Programming · 2014
The view from the leftMCBRIDE, CONOR; MCKINNA, JAMES · Journal of Functional Programming · 2004