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
Concept
Liskov substitution principle
Formal sciences
Theoretical computer science
Programming language theory
Topics in programming langu...
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Graph Chatbot
Related lectures (32)
Login to filter by course
Login to filter by course
Reset
Previous
Page 4 of 4
Next
Functions in Python
Introduces functions in Python, covering predefined and user-defined functions, formal and effective parameters, and the importance of docstrings.
Introduction to Types and Inductive Relations
Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.
