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
1172010
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
652011
Combining deep and shallow embedding for EDSL
J Svenningsson, E Axelsson
Trends in Functional Programming, 21-36, 2013
602013
Wired: Wire-aware circuit design
E Axelsson, K Claessen, M Sheeran
Advanced Research Working Conference on Correct Hardware Design and …, 2005
562005
Generic monadic constructs for embedded languages
A Persson, E Axelsson, J Svenningsson
Implementation and Application of Functional Languages, 85-99, 2012
282012
A generic abstract syntax model for embedded languages
E Axelsson
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
242012
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, ...
ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, 455-481, 2010
202010
Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction
E Axelsson
Chalmers University of Technology, 2008
182008
A functional-logic library for wired
M Naylor, E Axelsson, C Runciman
Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 37-48, 2007
152007
Combining deep and shallow embedding of domain-specific languages
J Svenningsson, E Axelsson
Computer Languages, Systems & Structures 44, 143-165, 2015
122015
Feldspar: Application and implementation
E Axelsson, M Sheeran
Central European Functional Programming School, 402-439, 2011
72011
Stream processing for embedded domain specific languages
M Aronsson, E Axelsson, M Sheeran
Proceedings of the 26nd 2014 International Symposium on Implementation and …, 2014
62014
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
Compilation as a Typed EDSL-to-EDSL Transformation
E Axelsson
arXiv preprint arXiv:1603.08865, 2016
42016
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
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
Description and Analysis of Mulipliers Using Lava
E Axelsson
Chalmers tekniska högsk., 2003
32003
Efficient Monadic Streams
J Svenningsson, E Axelsson, A Persson, PA Jonsson
Presented at TFP 2015, 0
3*
The system can't perform the operation now. Try again later.
Articles 1–20