Follow
Josef
Title
Cited by
Cited by
Year
Shortcut fusion for accumulating parameters & zip-like functions
J Svenningsson
ACM SIGPLAN Notices 37 (9), 124-132, 2002
1322002
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
1252010
Combining deep and shallow embedding for EDSL
J Svenningsson, E Axelsson
International symposium on trends in functional programming, 21-36, 2012
862012
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
732011
Constraint abstractions
J Gustavsson, J Svenningsson
Programs as Data Objects, 63-83, 2001
522001
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
492016
Regular expression patterns
N Broberg, A Farre, J Svenningsson
Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004
322004
Generic monadic constructs for embedded languages
A Persson, E Axelsson, J Svenningsson
Implementation and Application of Functional Languages: 23rd International …, 2012
312012
Defunctionalizing push arrays
BJ Svensson, J Svenningsson
Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-performance …, 2014
292014
Simple and compositional reification of monadic embedded languages
JD Svenningsson, BJ Svensson
ACM SIGPLAN Notices 48 (9), 299-304, 2013
272013
A usage analysis with bounded usage polymorphism and subtyping
J Gustavsson, J Svenningsson
Implementation of Functional Languages, 140-157, 2001
272001
Combining deep and shallow embedding of domain-specific languages
J Svenningsson, E Axelsson
Computer Languages, Systems & Structures 44, 143-165, 2015
252015
An EDSL approach to high performance Haskell programming
J Ankner, JD Svenningsson
ACM SIGPLAN Notices 48 (12), 1-12, 2013
232013
Specification and verification of side channel declassification
J Svenningsson, D Sands
International Workshop on Formal Aspects in Security and Trust, 111-125, 2009
172009
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
122014
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
82006
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
72013
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
52015
An efficient algorithm for a sharing analysis with polymorphism and subtyping
J Svenningsson
Masters thesis, June, 2000
52000
Composable efficient array computations using linear types
JP Bernardy, VL Juan, J Svenningsson
Unpublished Draft, 2016
32016
The system can't perform the operation now. Try again later.
Articles 1–20