Examples

  1. Examples
  2. An Expression Language
    1. Expressions Type System
      1. Type Inference for Variables
    2. Expressions Validation
    3. Interpreter for Expressions
    4. Customizations for Expressions
    5. A more involved Expressions System
    6. Generation for Expressions
  3. Featherweight Java
    1. FJ in a nutshell
    2. FJ implemented in Xtext
    3. FJ Type System
      1. Typing FJ Expressions
      2. FJ Scoping
      3. FJ Subtyping
    4. FJ Validation
    5. FJ Operational Semantics
  4. Lambda
    1. Lambda in a nutshell
    2. Lambda implemented in Xtext
    3. Lambda Type Inference
      1. Why Cloning?
    4. Lambda Type Checking
    5. Customizations for Lambda
    6. Use of Type Inference in the IDE