Type-Directed Programming: Using Clauses

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 2 of 4

Pointers: Strings, Functions, Casting

Covers pointers to strings, functions, and casting in C programming.

Functions in C: Key Concepts and Examples

Explains the essential concepts of functions in C programming, including definitions, prototypes, and argument passing techniques.

Python: Dictionaries and Tuples

Explores dictionaries, tuples, mutable objects, and variable-length arguments in Python.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Generic Programming: Templates

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

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

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

Advanced Types in C: Enums, Typedefs, and Structs

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

Python Programming: Immutable and Mutable Objects

Explains the differences between mutable and immutable objects in Python, focusing on lists, sets, and their behaviors.

C++ Standard Library: Containers and Algorithms

Covers the basics of C++ standard library containers, algorithms, and iterators.

Inheritance in Object-Oriented Programming: Concepts and Implementation

Covers inheritance in object-oriented programming, focusing on class hierarchies and practical implementation examples.