Welcome to cse116’s documentation!

Contents:

• Lambda Calculus
  • Quizzes
  • Reductions
  • Normal Forms
  • Semantics: Evaluation
    • Examples
    • Elsa Shortcuts
      • Named lambda-terms
      • Evaluation
    • Non-Terminating Evaluation
  • Lambda Calculus: Booleans
  • Lambda Calculus: Records
    • API
    • Triples
  • Lambda Calculus: Numbers
    • Implementation
      • Increment
      • Add
      • Mult
  • Lambda Calculus: Recursion
• Haskell
  • Quizzes
  • What is Haskell?
  • Guards
  • Recursion
  • Variable Scope
    • Local Variables
  • Types
    • Type Annotations
    • Lists
      • Functions on List
      • List Comprehensions
    • Pairs
    • Tuples
• Datatypes and Recursion
  • Representing complex data
  • Building Data Types
    • Product Types
    • Sum Types
    • Recursive Types
  • Constructing Datatypes
  • Writing Functions
    • Pattern Matching
    • Case
  • Recursive Types
    • Using as Parameter
    • Using as Result
    • Lists
    • Trees
      • Functions on Trees
      • Ex: Calculator
  • Tail Recursion
• Higher-Order Functions
  • Intro
    • Recursion
    • HOFs
  • Filter
  • Map
  • Fold
    • Fold-Right
    • Fold-Left
  • Flip
  • Compose
• Environments & Closures
  • Intro
  • The Nano Language
    • 1. Arithmetic expressions
      • Evaluator 1
    • 2. Variables and let-bindings
      • Evaluator 2
      • Runtime Errors
    • 3. Functions
      • Evaluator 3
    • 4. Recursion
  • Environments
  • Closures
• Theorems about Programs
  • Intro
  • Formalizing Nano
    • Nano1: Syntax
    • Nano1: Operational Semantics
    • Evaluation Order
    • Evaluation Relation
    • Nano1 Thms
      • Induction on terms
      • Induction on derivations
    • Thm: Termination
  • Nano2: Adding functions
    • Operational Semantics
    • Thms about Nano2
• Polymorphism & Type Inference
  • Intro
  • Type System
    • Syntax of Types
    • Type Environment
    • Typing Rules
  • Polymorphic Types
    • Type System 3
      • Type Environment
      • Type Substitutions
      • Typing Rules
      • Examples
    • Representing Types
    • Unification
      • Infer 2
    • Polymorphism
• Type Classes
  • Quizzes
  • Intro
  • Qualified Types
    • Eq
  • Creating Instances
  • Automatic Derivation
  • Standard Typeclass Hierarchy
  • Using Typeclasses
  • Explicit Signatures
• Monads
  • Abstracting Code Patterns

Indices and tables

• Index

• Module Index

• Search Page