[ACM Press the 22nd ACM SIGPLAN Symposium - Austin, Texas, USA (2017.02.04-2017.02.08)] Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '17 - Understanding the GPU Microarchitecture to Achieve Bare-Metal Performance TuningZhang, Xiuxia; Tan, Guangming; Xue, Shuangbai; Li, Jiajia; Zhou, Keren; Chen, Mingyu · 2017

[ACM Press the 22nd ACM SIGPLAN Symposium - Austin, Texas, USA (2017.02.04-2017.02.08)] Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '17 - Understanding the GPU Microarchitecture to Achieve Bare-Metal Performance TuningZhang, Xiuxia; Tan, Guangming; Xue, Shuangbai; Li, Jiajia; Zhou, Keren; Chen, Mingyu · 2017

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