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
Side effect (computer science)
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Graph Chatbot
Related lectures (6)
Login to filter by course
Login to filter by course
Reset
Identity and Change
Explores how assignments affect the equivalence between expressions in programming.
Evaluation strategies and termination
Explores evaluation strategies call by name and call by value.
Reasoning about lists
Covers laws of list concatenation, proof by induction, referential transparency, and structural induction.
Scala Parallel Collections: Basics and Best Practices
Covers Scala parallel collections, writing parallelism-agnostic code, converting collections, set intersection, side-effect operations, and concurrent modifications.
Recursive Functions in C++
Covers the principles and implementation of recursive functions in C++.
Recursive Functions: Methodology of Development + Debugging
Covers the methodology of development, recursion, and debugging in C++.
Previous
Page 1 of 1
Next