Scientific Computing EssentialsCovers algorithmic thinking, Python programming, numerical methods, and essential computing concepts for scientific computing.
Records and VariantsIntroduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
MATLAB: Crash Course in MATLABOffers a crash course in MATLAB, covering data representation, array indexing, mathematical operations, and common pitfalls.
Solving Type ConstraintsExplains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.