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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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