Instructed late binding

Seyed H. Haeri, Paul Keir

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

132 Downloads (Pure)


Integration of a decentralised pattern matching is a technique that enables a recent solution to the Expression Problem. The single former implementation of this technique was in Scala. In this paper, we highlight the C++ implementation of the same technique to solve the Expression Problem in C++. Unlike the former implementation which relies on stackability of Scala traits, this new implementation relies on compile-time metaprogramming for automatic iterative pointer introspection at runtime. That iteration enables late binding using overload resolution, which the compiler is already capable of. The C++ implementation outperforms the Scala one by providing strong static type safety and offering considerably easier usage.
Original languageEnglish
Title of host publicationProceedings of the 23rd Panhellenic Conference on Informatics (PCI 2019)
PublisherACM Press
Number of pages8
ISBN (Print)9781450372923
Publication statusPublished - 5 Dec 2019
Event23rd Pan-Hellenic Conference on Informatics - University of Nicosia, Nicosia, Cyprus
Duration: 28 Nov 201930 Nov 2019


Conference23rd Pan-Hellenic Conference on Informatics
Abbreviated titlePCI 2019
Internet address


  • Expression Problem
  • Overload Resolution
  • Metaprogramming
  • C++
  • Functional Programming


Dive into the research topics of 'Instructed late binding'. Together they form a unique fingerprint.

Cite this