Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Polymorphic Types in Amy

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (37)

Python Crash Course Log in to Mediaspace to watch this video

Provides a Python crash course covering basic arithmetics, complex numbers, strings, lists, dictionaries, and more.

Control Structures; Functions Log in to Mediaspace to watch this video

Covers control structures, loops, and functions in C language, emphasizing the importance of local variables and avoiding global variables.

Comparison Series and Integrals Log in to Mediaspace to watch this video

Explores the relationship between series and integrals, highlighting convergence criteria and function examples.

Mathematica Tutorial: Graphics and Functions Log in to Mediaspace to watch this video

Introduces Mathematica basics, including graphics creation, list manipulation, and function definition.

Generic Programming: Templates Log in to Mediaspace to watch this video

Covers generic programming in C++ through templates for classes and functions, showcasing examples and discussing specialization and separate compilation.

Closure Conversion: Representation and Transformation Log in to Mediaspace to watch this video

Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.

Functions: Differentials, Taylor Expansions, Integrals Log in to Mediaspace to watch this video

Covers functions, differentiability, Taylor expansions, and integrals, providing fundamental concepts and practical applications.

Untitled Log in to Mediaspace to watch this video

Taylor Series: Convergence and Applications Log in to Mediaspace to watch this video

Explores Taylor series convergence and applications in approximating functions and solving mathematical problems.

Matlab Functions: Basics and Examples Log in to Mediaspace to watch this video

Covers the basics of creating and using functions in Matlab.

Optimization of Functions: Maximum and Minimum Log in to Mediaspace to watch this video

Covers the optimization of functions, focusing on finding the maximum and minimum values over a given domain.

Finding Absolute Extrema in Multivariable Functions Log in to Mediaspace to watch this video

Covers the conditions for finding absolute extrema in multivariable functions.

Complex Analysis: Functions and Their Properties Log in to Mediaspace to watch this video

Covers the fundamentals of complex analysis, focusing on complex functions, their properties, and applications in solving differential equations.

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Applications of Serre Duality Log in to Mediaspace to watch this video

Explores the applications of Serre duality in Enriques-Severi-Zariski lemma, foliations, and Riemann-Roch theorem.

Vector Spaces: Properties and Operations Log in to Mediaspace to watch this video

Explores vector space properties, operations, linear combinations, and subspaces construction.

Control Structures in C: Key Concepts and Examples Log in to Mediaspace to watch this video

Introduces control structures in C programming, covering branches, loops, and best practices for writing clear code.

Page 2 of 2