Emil Axelsson

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Combining deep and shallow embedding of domain-specific languages
Computer Languages, Systems & Structures
2018-05-15Paper
Using circular programs for higher-order syntax (functional pearl)
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
2015-03-30Paper
A generic abstract syntax model for embedded languages
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
2014-07-21Paper
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science
2006-10-20Paper


Research outcomes over time


This page was built for person: Emil Axelsson