Extending Type Inference to Variational Programs
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Chen, Sheng; Erwig, Martin; Walkingshaw, Eric
- 卷第36卷
- 期第1期
- 印刷ISSN0164-0925
- 文件大小705.86KB
- 发表时间2014-03-01
- DOI10.1145/2518190
- 页码1-54
Revisiting the Tragedy of the CommonsMoore, John W. · Journal of Chemical Education · 2004
Antimicrobial resistance: revisiting the “tragedy of the commons”Bulletin of the World Health Organization · 2010
The Puzzle of the Global Commons or The Tragedy of Inequality: Revisiting HardinGupta, Joyeeta · Environment: Science and Policy for Sustainable Development · 2019
Revisiting the Tragedy of the Commons: Ecological Dilemmas of Whale Watching in the AzoresNeves-Graca, Katja · Human Organization · 2004
First, Do No HarmVinton G. Cerf · 2011
The day the Internet age beganCerf, Vinton G. · 2009
NetworksCerf, Vinton G. · 1991
An Information AvalancheVinton G. Cerf · 2007
Trust and the InternetCerf, Vinton G. · 2010
The Battle for Internet OpennessCerf, Vinton G. · 2011
Natural Disasters and Electric InfrastructureCerf, Vinton G. · 2011
Sherry Turkle: Alone TogetherCerf, Vinton G. · 2011
A measure of controlArmour, Phillip G. · Communications of the ACM · 2012
Lightweight modular stagingRompf, Tiark; Odersky, Martin · Communications of the ACM · 2012
Why ACM?Vardi, Moshe Y. · Communications of the ACM · 2012
Spreadsheet data manipulation using examplesGulwani, Sumit; Harris, William R.; Singh, Rishabh · Communications of the ACM · 2012
The five orders of ignoranceArmour, Phillip G. · Communications of the ACM · 2000
Compiling techniquesCheatham, Thomas E. · Communications of the ACM · 1966
RooflineWilliams, Samuel; Waterman, Andrew; Patterson, David · Communications of the ACM · 2009
A fast string searching algorithmBoyer, Robert S.; Moore, J. Strother · Communications of the ACM · 1977