Write a Blog >>
GPCE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
Mon 21 Oct 2019 15:00 - 15:20 at Ground floor conference room - Meta Chair(s): Shigeru Chiba

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

gpce-2019-papers
14:00 - 15:30: GPCE 2019 - Meta at Ground floor conference room
Chair(s): Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo
gpce-2019-papers14:00 - 14:30
Talk
Alen StojanovETH Zurich, Tiark RompfPurdue University, Markus PüschelETH Zürich
gpce-2019-papers14:30 - 15:00
Talk
Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
DOI Pre-print
gpce-2019-papers15:00 - 15:20
Talk
Amir ShaikhhaUniversity of Oxford