Mon 5 Nov 2018 09:30 - 10:00 at Cambridge - Meta for Types Chair(s): Elisa Gonzalez Boix

We solve the multiple dispatch problem for a \textit{components-for-cases} encoding of algebraic datatypes in C++. For the multi-method, the programmer is required to specify the decentralised match statements using overloads of template functions. Then, they employ a one-liner preprocessor macro, which expands to the real dispatcher. The expanded one-liner performs iterative pointer introspection to accomplish late-binding using overload resolution. Even though we present our solution for ADTs, one can use the same technology for other types too.

Mon 5 Nov

meta-2018
08:30 - 10:00: Meta - Meta for Types at Cambridge
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
meta-201808:30 - 09:00
Talk
Paventhan VivekanandanIndiana University Bloomington
File Attached
meta-201809:00 - 09:30
Talk
Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE
DOI
meta-201809:30 - 10:00
Talk
Seyed Hossein HaeriUniversité Catholique de Louvain, Paul Keir