Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Polymorphism: Cons-Lists
Graph Chatbot
Related lectures (31)
Previous
Page 1 of 4
Next
Polymorphism and Proofs
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Functions: Python Basics
Covers the basics of functions in Python, including their definition, purpose, and usage.
Functional Programming: Concepts and Implementation
Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.
Subtyping and Generics in Scala
Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Polymorphism in Coq: Data Structures and Functions
Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.
Subtyping and Polymorphism
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Object-Oriented Programming: Pointers and Polymorphism
Covers fundamental object-oriented programming concepts in C++, focusing on data structuring through pointers.
Type Classes: Basics and Implementation
Covers the basics of type classes in Scala, implementation examples, and advantages over class extension.
Variance and Combinatorial Search
Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.
