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
Functional Programming: Concepts and Implementation
Graph Chatbot
Related lectures (28)
Previous
Page 1 of 3
Next
Python Programming: List Comprehensions and Higher Order Functions
Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.
Class hierarchies: pattern matching
Covers class hierarchies, pattern matching, function values, and function calls in Scala.
Functions: Reusability and Error Reduction
Covers functions in C programming, emphasizing reusability and error reduction through proper function structure.
Functions in C: Key Concepts and Examples
Explains the essential concepts of functions in C programming, including definitions, prototypes, and argument passing techniques.
Loops: Control Statements and Functions
Covers modeling control statements with functions in Scala, including while loops, repeat loops, and for-loops translation.
Termination Analysis using Dependency Pairs
Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.
Python Programming: Lists and Functions Overview
Introduces Python programming concepts, focusing on lists, functions, and their applications in problem-solving.
R Programming: Conditions, Loops, Functions & Graphics
Covers conditions, loops, functions, and graphics in R programming with practical examples.
Stainless Verification System Tutorial
Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.
Python Functions: Basics and Arguments
Covers the basics of writing functions in Python and working with function arguments.