Concept
OCaml
Related lectures (28)
Matlab: 3D Surface Plotting
Covers logical arrays, 3D surface plotting, parametric curves, interpolation, and fitting in Matlab.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Chord: Search & Routing
Covers the Chord algorithm for search and routing in distributed hash tables.
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Code Generation: Examples, WebAssembly
Covers examples of code generation and introduces WebAssembly (WA) bytecode and stack machine operation.
Type Checking Lab
Focuses on implementing a type checker for Amy, covering name and type analysis, typing constraints generation, and the importance of type checking in compilation.
Hidden Sub-group Problem and Simon Algorithm
Explores the hidden sub-group problem and Simon algorithm in quantum computing.
Shor's algorithm: factoring integers
Covers the basics of Shor's algorithm for factoring integers and the steps involved in the quantum algorithm.
Convergence in Law: Weak Convergence and Skorokhod's Representation Theorem
Explores convergence in law, weak convergence, and Skorokhod's representation theorem in probability theory.
Object-Oriented Programming: Core Features Analysis
Explores the core features of object-oriented programming, including dynamic dispatch, encapsulation, inheritance, and subtyping, using Java examples and practical insights.