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
Strong and weak typing
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Graph Chatbot
Related lectures (31)
Login to filter by course
Login to filter by course
Reset
Previous
Page 3 of 4
Next
Green Bonds: Sustainable Investment and Impact
Delves into the world of green bonds, exploring their history, rapid rise, certification process, and challenges in evaluating their environmental and financial performance.
Tuples: Desugaring and Implementation
Covers the implementation details of tuples in Scala, including desugaring, lexical analysis, parsing, and code generation.
Untitled
Verifying Compiler: Spec# Approach
Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.
Name Analysis: Compiler Phases and Symbol Tables
Explores compiler phases and symbol tables' role in mapping variables to declarations.
Dependent Types in Programming Languages
Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.
Compiler Extension Lab
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Operational Semantics: Amyli Language
Covers the Amyli language, including abstract syntax, program representation, and operational semantics.
Python Programming Basics
Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Multithreading: Code Generation and Type Checking
Covers multithreading, code generation, and type checking in compiler implementation.
