Family Planning and Fertility Control || Selected Works on Fertility and Family-Planning Studies in the United States, 1960-1967
- 期刊名称Journal of Marriage and Family
- 作者William T. Liu
- 卷第30卷
- 期第2期
- 印刷ISSN0022-2445
- 电子ISSN1741-3737
- 文件大小4342.24KB
- 发表时间1968-05
- DOI10.2307/349264
- 页码346-366
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