SPLASH 2018 (series) / META'18 (series) /
META'18 Program
This is the META'18 program - see the full program for SPLASH 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 30mTalk | Code Generation for Higher Inductive Types META Paventhan Vivekanandan Indiana University Bloomington File Attached | ||
09:00 30mTalk | Recognizing heterogeneous sequences by rational type expression META DOI | ||
09:30 30mTalk | Multiple Dispatch using Compile-Time Metaprogramming META |
10:30 - 12:00 | |||
10:30 60mTalk | SemanticDB: a common data model for Scala developer tools ⭐️Keynote META DOI | ||
11:30 30mDemonstration | Relit: Typed Literal Macros for Reason META Link to publication |
13:30 - 15:00 | Keynote: Bonetta & InfrastructureMETA at Cambridge Chair(s): Guido Chari Czech Technical University, Czechia | ||
13:30 60mTalk | GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote META Daniele Bonetta Oracle Labs DOI | ||
14:30 30mTalk | Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations? META Rodrigo Teixeira INPE - National Institute for Space Research, Eduardo Guerra INPE - National Institute for Space Research, Phyllipe Lima INPE - National Institute for Space Research, Paulo Meirelles Federal University of São Paulo, Fabio Kon University of São Paulo DOI |
15:30 - 17:00 | |||
15:30 60mTalk | Through a Glass, Darkly ⭐️Keynote META DOI | ||
16:30 30mDay closing | Discussion and Closing META |