Typing linear constraints
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Ruggieri, Salvatore; Mesnard, Fred
- 卷第32卷
- 期第6期
- 印刷ISSN0164-0925
- 文件大小668.54KB
- 发表时间2010-08-01
- DOI10.1145/1749608.1749610
- 页码1-42
同期刊推荐
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