Covariance and contravariance (computer science)

Formal sciences
Theoretical computer science
Programming language theory
Topics in programming langu...

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (27)

Parameterized Types: Implementation and Inheritance Principles

Covers parameterized types, their implementation, advantages, weaknesses, and the principles of inheritance in programming.

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.

Abstract algebra and type classes

Covers abstract algebra concepts using type classes in Scala, including defining monoids, generalizing reduce functions, and typeclass laws.

Subtyping and Polymorphism

Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.

Functional Programming Principles

Covers the principles and benefits of functional programming, emphasizing immutable data and functions.

Numerical Methods for Boundary Value Problems

Covers numerical methods for solving boundary value problems using finite difference, FFT, and finite element methods.

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Page 2 of 2