Lectures in course CS-320: Computer language processing

JVM Backend: Code Generation and Translation Log in to Mediaspace to watch this video

Explores the translation of programs, definitions, and expressions into bytecode using the JVM backend.

Lazy Evaluation: Introduction and Examples Log in to Mediaspace to watch this video

Covers lazy evaluation, memoization, interpreter implementation, code generation challenges, and potential extensions.

High-Order Functions: Unification Theory Log in to Mediaspace to watch this video

Covers high-order functions, parser, and type checker concepts.

WASM Virtual Machine: Group 13 Log in to Mediaspace to watch this video

Explores the development of a WebAssembly Virtual Machine by Group 13, covering pipeline stages, interpreter structure, and stack management.

Implicit Parameters: Basics and Applications Log in to Mediaspace to watch this video

Introduces implicit parameters in Scala, showcasing their implementation in a Logger class and their application in a SimpleAI object.

Code Formatter: Customizable Pretty Printing Log in to Mediaspace to watch this video

Introduces a code formatter for customizable pretty printing, including options like if on separate lines and challenges faced in managing comments' positions.

C Backend: Compiler Structure and Abstract Data Types Log in to Mediaspace to watch this video

Explores the structure of a C backend compiler and abstract data types.

Multithreading: Code Generation and Type Checking Log in to Mediaspace to watch this video

Covers multithreading, code generation, and type checking in compiler implementation.

Foreign-function interface to JavaScript Log in to Mediaspace to watch this video

Covers the implementation of a foreign-function interface to JavaScript in Scala, focusing on features like opening and reading files.

Implicit Conversion: Core Concepts Log in to Mediaspace to watch this video

Covers the core concepts of implicit conversion in Scala and its implementation in Scala code.

Polymorphic Types in Amy Log in to Mediaspace to watch this video

Covers polymorphic types in Amy, including Hindley-Milner rules, type schemes, instantiation, and handling type variables in functions.

Code Optimizations: Constants and Variables Log in to Mediaspace to watch this video

Explores code optimization techniques like constant folding, precomputation, and constant propagation to enhance code efficiency and quality.

C Backend: Code Generation and ADTs Log in to Mediaspace to watch this video

Explores the adaptation of wasm code generation for C, memory management, ADTs representation, and translation of expressions.

Custom operators Log in to Mediaspace to watch this video

Explores the implementation of custom operators in a programming language, including syntax examples, precedence levels, parsing stages, and solutions like function overloading.

Tuples: Desugaring and Implementation Log in to Mediaspace to watch this video

Covers the implementation details of tuples in Scala, including desugaring, lexical analysis, parsing, and code generation.

Lambda Functions: Syntax and Examples Log in to Mediaspace to watch this video

Covers the syntax and examples of lambda functions, including parameters, types, bodies, and environments.

Language Server Protocol: Implementation for IME Compiler Log in to Mediaspace to watch this video

Covers the Language Server Protocol implementation for the IME compiler, focusing on features like auto-completion and signature helpers.

Formal Languages: Concepts

Covers the basics of formal languages, including alphabets, words, and languages, as well as operations like concatenation and reversal.

Operations on Formal Languages

Explores formal language operations, including concatenation, union, intersection, and Kleene star for language repetition.

Regular Expressions and Lexer Idea

Explores regular expressions, including their history, operators, lexical analysis, and manual construction of lexers.