Modules.- Data types.- Semantics.- The library.- Notation.- Lexical considerations.- Types, type generation, and type specifications.- Scopes, declarations, and equates.- Assignment and invocation.- Expressions.- Statements.- Exception handling and exits.- Modules.
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki