[ACM Press the 30th Symposium - Lowell, MA, USA (2018.09.05-2018.09.07)] Proceedings of the 30th Symposium on Implementation and Application of Functional Languages - IFL 2018 - MIL, a Monadic Intermediate Language for Implementing Functional LanguagesJones, Mark P.; Bailey, Justin; Cooper, Theodore R. · 2018

[ACM Press the 28th Symposium - Leuven, Belgium (2016.08.31-2016.09.02)] Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016 - Design and Implementation of Probabilistic Programming Language AnglicanTolpin, David; van de Meent, Jan-Willem; Yang, Hongseok; Wood, Frank · 2016

[ACM Press the Tenth Workshop - Paphos, Cyprus (2010.03.28-2010.03.29)] Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA '10 - On the impact of DSL tools on the maintainability of language implementationsKlint, Paul; van der Storm, Tijs; Vinju, Jurgen · 2010

[ACM Press the ACM/SIGPLAN conference - New Haven, Connecticut, United States (1988.07.19-1988.07.21)] Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems - PPEALS '88 - On the implementation of applicative languages on shared-memory, MIMD multiproceLee, Ching-Cheng; Skedzielewski, Stephen; Feo, John · 1988

[ACM Press the Tenth Workshop - Paphos, Cyprus (2010.03.28-2010.03.29)] Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA '10 - Language description for front end implementationBagge, Anya Helene · 2010

[ACM Press the 28th Symposium - Leuven, Belgium (2016.08.31-2016.09.02)] Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016 - A Portable VM-based implementation Platform for non-strict Functional Programming LanguagesJansen, Jan Martin; van Groningen, John · 2016

[ACM Press the 25th symposium - Nijmegen, Netherlands (2013.08.28-2013.08.30)] Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 - The implementation of the Mezzo type-checkerProtzenko, Jonathan · 2014

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