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
Course
CS-452: Foundations of software
Graph Chatbot
Lectures in this course (23)
Featherweight Java: Core OO Features Modeling
Introduces Featherweight Java, a minimalistic model to represent core object-oriented features.
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Previous
Page 2 of 2
Next
