Skip to main content
Graph
Search
fr
|
en
Switch to dark mode
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Name Analysis: Compiler Phases and Symbol Tables
Graph Chatbot
Related lectures (32)
Previous
Page 3 of 4
Next
High-Order Functions: Unification Theory
Covers high-order functions, parser, and type checker concepts.
Lambda Calculus and Type Safety: An Overview
Provides an overview of lambda calculus, type safety, and type inference in programming languages.
Type Checking Lab
Focuses on implementing a type checker for Amy, covering name and type analysis, typing constraints generation, and the importance of type checking in compilation.
Static Analysis for Amy: Introduction to AST-based Analysis
Introduces AST-based analysis and its benefits over testing, covering its applications, rule implementations, and limitations.
Introduction to Grammars
Introduces automata, regular languages limitations, context-free grammars, and balanced parentheses grammars.
Type Checking in Compiler Frontend
Covers the implementation of a type checker in the compiler frontend.
Verified Functional Programming: Nicolas Voirol public PhD thesis defense
Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Neural Model: Assemblies of Neurons and Language Acquisition
Explores a neural model, assemblies of neurons, language acquisition, and the future of neuromorphic intelligent systems.
Scallion tutorial: building Parser[A]
Covers the basics of building Parser[A] using Scallion, LL(1) conflicts, and left factoring.
