| Shortcut fusion for accumulating parameters & zip-like functions J Svenningsson ACM SIGPLAN Notices 37 (9), 124-132, 2002 | 131 | 2002 |
| Feldspar: A domain specific language for digital signal processing algorithms E Axelsson, K Claessen, G Dévai, Z Horváth, K Keijzer, B Lyckegård, ... Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010 | 125 | 2010 |
| Combining deep and shallow embedding for EDSL J Svenningsson, E Axelsson International symposium on trends in functional programming, 21-36, 2012 | 85 | 2012 |
| The design and implementation of feldspar: An embedded language for digital signal processing E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ... Implementation and Application of Functional Languages: 22nd International …, 2011 | 73 | 2011 |
| Constraint abstractions J Gustavsson, J Svenningsson Programs as Data Objects, 63-83, 2001 | 52 | 2001 |
| Everything old is new again: quoted domain-specific languages S Najd, S Lindley, J Svenningsson, P Wadler Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016 | 48 | 2016 |
| Generic monadic constructs for embedded languages A Persson, E Axelsson, J Svenningsson Implementation and Application of Functional Languages: 23rd International …, 2012 | 31 | 2012 |
| Regular expression patterns N Broberg, A Farre, J Svenningsson Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004 | 31 | 2004 |
| Defunctionalizing push arrays BJ Svensson, J Svenningsson Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-performance …, 2014 | 28 | 2014 |
| Simple and compositional reification of monadic embedded languages JD Svenningsson, BJ Svensson ACM SIGPLAN Notices 48 (9), 299-304, 2013 | 27 | 2013 |
| A usage analysis with bounded usage polymorphism and subtyping J Gustavsson, J Svenningsson Implementation of Functional Languages, 140-157, 2001 | 27 | 2001 |
| Combining deep and shallow embedding of domain-specific languages J Svenningsson, E Axelsson Computer Languages, Systems & Structures 44, 143-165, 2015 | 25 | 2015 |
| An EDSL approach to high performance Haskell programming J Ankner, JD Svenningsson ACM SIGPLAN Notices 48 (12), 1-12, 2013 | 23 | 2013 |
| Specification and verification of side channel declassification J Svenningsson, D Sands International Workshop on Formal Aspects in Security and Trust, 111-125, 2009 | 17 | 2009 |
| An expressive semantics of mocking J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes Fundamental Approaches to Software Engineering: 17th International …, 2014 | 12 | 2014 |
| Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis T Gedell, J Gustavsson, J Svenningsson Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney …, 2006 | 8 | 2006 |
| Counting and occurrence sort for GPUs using an embedded language JD Svenningsson, BJ Svensson, M Sheeran Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013 | 7 | 2013 |
| On the duality of streams. how can linear types help to solve the lazy IO problem JP Bernardy, J Svenningsson IFL: Implementation and Application of Functional Languages 208, 95-130, 2015 | 5 | 2015 |
| An efficient algorithm for a sharing analysis with polymorphism and subtyping J Svenningsson Masters thesis, June, 2000 | 5 | 2000 |
| Composable efficient array computations using linear types JP Bernardy, VL Juan, J Svenningsson Unpublished Draft, 2016 | 3 | 2016 |
Emil AxelssonChalmers University of Technology在 chalmers.se 的电子邮件经过验证
