CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Programmable Signatures

Anders Persson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Emil Axelsson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Trends in Functional Programming (2015)
[Konferensbidrag, övrigt]

When compiling EDSLs into other languages, types in the source language must be translated 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. However, this simple approach is limiting when there are multiple possible mappings, and it may lead to poor interoperability and 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 entry is for the presentation at TFP. There is another entry for the post-symposium version of the paper.

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2015-11-17. Senast ändrad 2016-06-02.
CPL Pubid: 225842