Advanced Topics

Categories and Morphisms

Functors in Category Theory

Natural Transformations

Limits and Colimits

Adjunctions

Simply Typed Lambda Calculus

System F

Dependent Types

Linear Types

Effect Types

Formal Verification

Theorem Proving

Model Checking

Contract-Based Programming

Parsing Functional Syntax

Type Checking and Inference

Optimization Passes

Code Generation

Reactive Streams

Event Handling

Time-Varying Values

Functional Reactive Programming Libraries