Simply typed lambda calculus

Formal sciences
Theoretical computer science
Programming language theory
Type theory

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

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

Automated Reasoning in Practice

Explores practical automated reasoning systems like TPTP, TSTP, and CASC, emphasizing the importance of consistency and future developments.

Implicit Conversion: Core Concepts

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

Operational Semantics: Amyli Language

Covers the Amyli language, including abstract syntax, program representation, and operational semantics.

Name Analysis: Compiler Phases and Symbol Tables

Explores compiler phases and symbol tables' role in mapping variables to declarations.

Verifying Compiler: Spec# Approach

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Monetary Policy and Household Decisions

Explores household optimization, monetary policy impact, and price flexibility in the New Keynesian model.

Programming by Flows: Temperature Conversion

Demonstrates temperature conversion from Fahrenheit to Celsius using Java streams and lambda expressions.

Multithreading: Code Generation and Type Checking

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

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.

Lambdas: introduction

Introduces lambdas in Java, focusing on sorting with Comparator interface.

Page 2 of 2