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

Hossein Haeri, Paul Keir

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

99 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationTheoretical Aspects of Computing – ICTAC 2019
Subtitle of host publicationProceedings of the 16th International Colloquium on Theoretical Aspects of Computing A
EditorsRobert Hierons, Mohamed Mosbah
PublisherSpringer International Publishing AG
Pages353-371
Number of pages19
Volume11884
Edition1
ISBN (Electronic)9783030325053
ISBN (Print)9783030325046
DOIs
Publication statusPublished - 7 Dec 2019
Event16th International Colloquium on Theoretical Aspects of Computing - AlHambra Thalasso Hotel, Hammamet, Tunisia
Duration: 31 Oct 20194 Nov 2019
http://www.redcad.org/events/ictac2019/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume11884
ISSN (Electronic)0302-9743

Conference

Conference16th International Colloquium on Theoretical Aspects of Computing
Abbreviated titleICTAC 2019
Country/TerritoryTunisia
CityHammamet
Period31/10/194/11/19
Internet address

Keywords

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

Fingerprint

Dive into the research topics of 'Solving the Expression Problem in C++, à la LMS'. Together they form a unique fingerprint.

Cite this