### Abstract

Original language | English |
---|---|

Title of host publication | Theoretical Aspects of Computing – ICTAC 2019 |

Subtitle of host publication | Proceedings of the 16th International Colloquium on Theoretical Aspects of Computing A |

Editors | Robert Hierons, Mohamed Mosbah |

Publisher | Springer International Publishing AG |

Pages | 353-371 |

Number of pages | 19 |

Volume | 11884 |

Edition | 1 |

ISBN (Electronic) | 9783030325053 |

ISBN (Print) | 9783030325046 |

DOIs | |

Publication status | Published - 7 Dec 2019 |

Event | 16th International Colloquium on Theoretical Aspects of Computing - AlHambra Thalasso Hotel, Hammamet, Tunisia Duration: 31 Oct 2019 → 4 Nov 2019 http://www.redcad.org/events/ictac2019/ |

### Publication series

Name | Lecture Notes in Computer Science |
---|---|

Publisher | Springer International Publishing |

Volume | 11884 |

ISSN (Electronic) | 0302-9743 |

### Conference

Conference | 16th International Colloquium on Theoretical Aspects of Computing |
---|---|

Abbreviated title | ICTAC 2019 |

Country | Tunisia |

City | Hammamet |

Period | 31/10/19 → 4/11/19 |

Internet address |

### Fingerprint

### Keywords

- Functional Programming
- Programming Languages
- Expression Problem
- Components-for-Cases
- Lightweight Modular Staging
- Scala
- C++

### Cite this

*Theoretical Aspects of Computing – ICTAC 2019: Proceedings of the 16th International Colloquium on Theoretical Aspects of Computing A*(1 ed., Vol. 11884, pp. 353-371). (Lecture Notes in Computer Science; Vol. 11884 ). Springer International Publishing AG. https://doi.org/10.1007/978-3-030-32505-3_20

}

*Theoretical Aspects of Computing – ICTAC 2019: Proceedings of the 16th International Colloquium on Theoretical Aspects of Computing A.*1 edn, vol. 11884, Lecture Notes in Computer Science, vol. 11884 , Springer International Publishing AG, pp. 353-371, 16th International Colloquium on Theoretical Aspects of Computing, Hammamet, Tunisia, 31/10/19. https://doi.org/10.1007/978-3-030-32505-3_20

**Solving the Expression Problem in C++, à la LMS.** / Haeri, Hossein; Keir, Paul.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Solving the Expression Problem in C++, à la LMS

AU - Haeri, Hossein

AU - Keir, Paul

PY - 2019/12/7

Y1 - 2019/12/7

N2 - We give a C++ solution to the Expression Problem that takes a components-for-cases approach. Our solution is a C++ transliteration of how Lightweight Modular Staging solves the Expression Problem. It, furthermore, gives a C++ encoding to object algebras and object algebra interfaces. We use our latter encoding by tying its recursive knot as in Datatypes à la Carte.

AB - We give a C++ solution to the Expression Problem that takes a components-for-cases approach. Our solution is a C++ transliteration of how Lightweight Modular Staging solves the Expression Problem. It, furthermore, gives a C++ encoding to object algebras and object algebra interfaces. We use our latter encoding by tying its recursive knot as in Datatypes à la Carte.

KW - Functional Programming

KW - Programming Languages

KW - Expression Problem

KW - Components-for-Cases

KW - Lightweight Modular Staging

KW - Scala

KW - C++

U2 - 10.1007/978-3-030-32505-3_20

DO - 10.1007/978-3-030-32505-3_20

M3 - Conference contribution

SN - 9783030325046

VL - 11884

T3 - Lecture Notes in Computer Science

SP - 353

EP - 371

BT - Theoretical Aspects of Computing – ICTAC 2019

A2 - Hierons, Robert

A2 - Mosbah, Mohamed

PB - Springer International Publishing AG

ER -