Follow
Emil Axelsson
Title
Cited by
Cited by
Year
Feldspar: A domain specific language for digital signal processing algorithms
E Axelsson, K Claessen, G Dévai, Z Horváth, K Keijzer, B Lyckegard, ...
8th IEEE/ACM International Conference on Formal Methods and Models for …, 2010
1252010
Combining deep and shallow embedding for EDSL
J Svenningsson, E Axelsson
Trends in Functional Programming, 21-36, 2013
862013
The Design and Implementation of Feldspar
E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ...
Implementation and Application of Functional Languages, 121-136, 2011
742011
Wired: Wire-aware circuit design
E Axelsson, K Claessen, M Sheeran
Advanced Research Working Conference on Correct Hardware Design and …, 2005
662005
Generic monadic constructs for embedded languages
A Persson, E Axelsson, J Svenningsson
Implementation and Application of Functional Languages, 85-99, 2012
332012
Combining deep and shallow embedding of domain-specific languages
J Svenningsson, E Axelsson
Computer Languages, Systems & Structures 44, 143-165, 2015
252015
A generic abstract syntax model for embedded languages
E Axelsson
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
252012
Efficient code generation from the high-level domain-specific language Feldspar for DSPs
G Dévai, M Tejfel, Z Gera, G Páli, G Nagy, Z Horváth, E Axelsson, ...
Proc. ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems …, 2010
212010
Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction
E Axelsson
Chalmers University of Technology, 2008
192008
A functional-logic library for wired
M Naylor, E Axelsson, C Runciman
Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 37-48, 2007
172007
Stream processing for embedded domain specific languages
M Aronsson, E Axelsson, M Sheeran
Proceedings of the 26nd 2014 International Symposium on Implementation and …, 2014
92014
Feldspar: Application and implementation
E Axelsson, M Sheeran
Central European Functional Programming School, 402-439, 2012
72012
Compilation as a Typed EDSL-to-EDSL Transformation
E Axelsson
arXiv preprint arXiv:1603.08865, 2016
62016
Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain
P Bahr, E Axelsson
Science of Computer Programming 137, 63-97, 2017
52017
Layout exploration of geometrically accurate arithmetic circuits
KP Subramaniyan, E Axelsson, P Larsson-Edefors, M Sheeran
2009 16th IEEE International Conference on Electronics, Circuits and Systems …, 2009
52009
Teaching hardware description and verification
E Axelsson, M Björk, M Sheeran
IEEE International Conference on Microelectronic Systems Education, 2005 …, 2005
52005
Generalising tree traversals to DAGs: Exploiting sharing without the pain
P Bahr, E Axelsson
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
42015
Using circular programs for higher-order syntax: functional pearl
E Axelsson, K Claessen
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
42013
Description and Analysis of Mulipliers Using Lava
E Axelsson
Chalmers tekniska högsk., 2003
42003
Using lava and wired for design exploration
E Axelsson, K Claessen, M Sheeran
Proceedings of the sixth international workshop on designing correct …, 2006
3*2006
The system can't perform the operation now. Try again later.
Articles 1–20