According to our database1, Josef Svenningsson authored at least 21 papers between 2000 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016
Comput. Lang. Syst. Struct., 2015
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012
Proceedings of the Implementation and Application of Functional Languages, 2011
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing.
Proceedings of the Implementation and Application of Functional Languages, 2010
Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009
Scalable Program Analysis and topics in Programming Language Design and Transformation.
PhD thesis, 2007
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002
Proceedings of the Programs as Data Objects, Second Symposium, 2001
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000