‘Why Not All Go Up Higher?’: The Transvaal Native Mine Clerks' Association, 1920–1925'
- 期刊名称South African Historical Journal
- 作者Cobley, Alan
- 卷第62卷
- 期第1期
- 印刷ISSN0258-2473
- 电子ISSN1726-1686
- 文件大小297.36KB
- 发表时间2010-03
- DOI10.1080/02582471003778409
- 页码143-161
Stochastic program optimizationSchkufza, Eric; Sharma, Rahul; Aiken, Alex · Communications of the ACM · 2016
Data-driven equivalence checkingSharma, Rahul; Schkufza, Eric; Churchill, Berkeley; Aiken, Alex · ACM SIGPLAN Notices · 2013
[ACM Press the eighteenth international conference - Houston, Texas, USA (2013.03.16-2013.03.20)] Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '13 - Stochastic superoptimizationSchkufza, Eric; Sharma, Rahul; Aiken, Alex · 2013
[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - Data-driven equivalence checkingSharma, Rahul; Schkufza, Eric; Churchill, Berkeley; Aiken, Alex · 2013
[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Stochastic optimization of floating-point programs with tunable precisionSchkufza, Eric; Sharma, Rahul; Aiken, Alex · 2013
[ACM Press the 37th ACM SIGPLAN Conference - Santa Barbara, CA, USA (2016.06.13-2016.06.17)] Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 - Stratified synthesis: automatically learning the x86-64 instruction setHeule, Stefan; Schkufza, Eric; Sharma, Rahul; Aiken, Alex · 2016
Guarded recursive datatype constructorsXi, Hongwei; Chen, Chiyan; Chen, Gang · ACM SIGPLAN Notices · 2003
The towers of HanoiEggers, Bleicke · ACM SIGPLAN Notices · 1985
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Are applicative languages inefficient?Ponder, Carl G.; McGeer, Patrick; Ng, Anthony P-C. · ACM SIGPLAN Notices · 1988
Paths between imperative and functional programmingBall, Thomas · ACM SIGPLAN Notices · 1999
Scalable component abstractionsOdersky, Martin; Zenger, Matthias · ACM SIGPLAN Notices · 2005
PinocchioVerwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Niestrasz, Oscar · ACM SIGPLAN Notices · 2010
Regularities considered harmfulPark, Heekwon; Baek, Seungjae; Choi, Jongmoo; Lee, Donghee; Noh, Sam H. · ACM SIGPLAN Notices · 2013