Explores model interpretation, compilation via partial evaluation, function calls, and the transition to partial evaluation, emphasizing the importance of model interpreters in supporting modeling languages.
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Covers the definition, types, and building process of software, including system software and applications.
Covers algorithmic thinking, Python programming, numerical methods, and essential computing concepts for scientific computing.
