Skip to main content
SpringerLink
Log in

Programmable Signatures

  • Conference paper
  • First Online:
Trends in Functional Programming (TFP 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9547))

Included in the following conference series:

Abstract

When compiling Embedded Domain Specific Languages (EDSLs) into other languages, the compiler translates types in the source language into corresponding types in the target language. The translation is often driven by a small set of rules that map a single type in the source language into a single type in the target language. This simple approach is limiting when there are multiple possible mappings, and it may lead to poor interoperability and poor performance in the generated code. Instead of hard-wiring a single set of translation rules into a compiler, this paper introduces a small language that lets the programmer describe the mapping of each argument and function separately.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://hackage.haskell.org/package/feldspar-language.

  2. 2.

    https://hackage.haskell.org/package/feldspar-compiler.

  3. 3.

    https://hackage.haskell.org/package/imperative-edsl-0.4.

  4. 4.

    http://hackage.haskell.org/package/language-c-quote.

  5. 5.

    Matlab Coder http://www.mathworks.com/products/matlab-coder.

  6. 6.

    https://github.com/emilaxelsson/imperative-edsl/blob/signatures-camera-ready/examples/Signature.hs.

References

  1. Axelsson, E., Dévai, G., Horváth, Z., Keijzer, K., Lyckegård, B., Persson, A., Sheeran, M., Svenningsson, J., Vajda, A.: Feldspar: a domain specific language for digital signal processing algorithms. In: Formal Methods and Models for Codesign, MemoCode. IEEE Computer Society (2010)

    Google Scholar 

  2. Axelsson, E., Claessen, K., Sheeran, M., Svenningsson, J., Engdal, D., Persson, A.: The design and implementation of Feldspar. In: Hage, J., Morazán, M.T. (eds.) IFL 2010. LNCS, vol. 6647, pp. 121–136. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  3. Persson, A.: Towards a functional programming language for baseband signal processing. Thesis for the Degree of Licentiate of Engineering (2014). ISSN: 1652–876X

    Google Scholar 

  4. Svenningsson, J., Axelsson, E.: Combining deep and shallow embedding for EDSL. In: Loidl, H.-W., Peña, R. (eds.) TFP 2012. LNCS, vol. 7829, pp. 21–36. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  5. Pfenning, F., Elliot, C.: Higher-order abstract syntax. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, pp. 199–208. ACM, New York (1988)

    Google Scholar 

  6. Mainland, G.: Why it’s nice to be quoted: quasiquoting for Haskell. In: Proceedings of the ACM SIGPLAN Workshop on Haskell, pp. 73–82. ACM, New York (2007)

    Google Scholar 

  7. Chakravarty, M.M.: The Haskell 98 Foreign Function Interface 1.0 - An Addendum to the Haskell 98 Report (2003)

    Google Scholar 

  8. Chakravarty, M.M.: Foreign inline code: systems demonstration. In: Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, pp. 119–120. ACM (2014)

    Google Scholar 

  9. MathWorks: MATLAB User’s Guide (MATLAB Coder), Version: 2011a. http://www.mathworks.com/help/toolbox/coder/index.html

Download references

Acknowledgements

This research is funded by the Swedish Foundation for Strategic Research (which funds the Resource Aware Functional Programming (RAW FP) Project) and the Swedish Research Council.

Author information

Authors and Affiliations

  1. Chalmers University of Technology, Gothenburg, Sweden

    Anders Persson & Emil Axelsson

Authors
  1. Anders Persson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Emil Axelsson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Anders Persson .

Editor information

Editors and Affiliations

  1. INRIA Sophia Antipolis, Sophia Antipolis, France

    Manuel Serrano

  2. Dept.Information and Computing Sc., Utrecht University, Utrecht, The Netherlands

    Jurriaan Hage

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Persson, A., Axelsson, E. (2016). Programmable Signatures. In: Serrano, M., Hage, J. (eds) Trends in Functional Programming. TFP 2015. Lecture Notes in Computer Science(), vol 9547. Springer, Cham. https://doi.org/10.1007/978-3-319-39110-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-39110-6_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-39109-0

  • Online ISBN: 978-3-319-39110-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation