SPLASH 2019 (series) / GPCE 2019 (series) / GPCE 2019 - 18th International Conference on Generative Programming: Concepts & Experiences /
Polymorphic Extractors for Semantic and Portable Pattern Matching (Short Paper)
This paper introduces polymorphic extractors, a technique for tackling two main issues with the existing pattern matching implemented in functional languages. First, this technique defines semantical pattern matching rather than a syntactical one. Second, this technique solves the portability issue when defining a set of patterns based on different underlying data-structure design choices. Furthermore, polymorphic extractors can be further improved by performing optimisations and multi-stage programming on them. The key technique behind polymorphic extractors is using the tagless-final technique (a.k.a. polymorphic embedding/object algebra) for defining different views or extractors over expression terms.
Mon 21 Oct Times are displayed in time zone: Beirut change
Mon 21 Oct
Times are displayed in time zone: Beirut change
14:00 - 15:30: MetaGPCE 2019 at Ground floor conference room Chair(s): Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo | |||
14:00 - 14:30 Talk | A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions GPCE 2019 | ||
14:30 - 15:00 Talk | Reflection in Attribute Grammars GPCE 2019 Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA DOI Pre-print | ||
15:00 - 15:20 Talk | Polymorphic Extractors for Semantic and Portable Pattern Matching (Short Paper) GPCE 2019 Amir ShaikhhaUniversity of Oxford |