Polymorphism in Coq: Data Structures and Functions

Related lectures (28)

Page 3 of 3

Covers the basics of induction, syntax, abstract vs. concrete syntax, and operational semantics for Booleans.

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

Covers fundamental object-oriented programming concepts in C++, focusing on data structuring through pointers.

Discusses advanced types in C, including enumerated types, typedefs, and structures, with practical examples to illustrate their usage.

Introduces terms, abstractions, applications, and values in the lambda calculus.

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.

Covers the implementation of heterogeneous collections in C++ object-oriented programming, focusing on memory management and design choices.