You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Meta for TypesMETA at Cambridge
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
08:30
30m
Talk
Code Generation for Higher Inductive Types
META
Paventhan Vivekanandan Indiana University Bloomington
File Attached
09:00
30m
Talk
Recognizing heterogeneous sequences by rational type expression
META
Jim Newton EPITA / LRDE https://www.lrde.epita.fr, Didier Verna EPITA / LRDE
DOI
09:30
30m
Talk
Multiple Dispatch using Compile-Time Metaprogramming
META
Seyed Hossein Haeri Université Catholique de Louvain, Paul Keir
10:30 - 12:00
Keynote: Burmako & ToolingMETA at Cambridge
Chair(s): Stefan Marr University of Kent
10:30
60m
Talk
SemanticDB: a common data model for Scala developer tools ⭐️Keynote
META
I: Eugene Burmako Twitter, Inc.
DOI
11:30
30m
Demonstration
Relit: Typed Literal Macros for Reason
META
Cyrus Omar University of Chicago, Charles Chamberlain University of Chicago
Link to publication
13:30 - 15:00
Keynote: Bonetta & InfrastructureMETA at Cambridge
Chair(s): Guido Chari Czech Technical University, Czechia
13:30
60m
Talk
GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote
META
Daniele Bonetta Oracle Labs
DOI
14:30
30m
Talk
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
Keynote: NobleMETA at Cambridge
Chair(s): Stefan Marr University of Kent
15:30
60m
Talk
Through a Glass, Darkly ⭐️Keynote
META
I: James Noble Victoria University of Wellington
DOI
16:30
30m
Day closing
Discussion and Closing
META