Advanced Software EngineeringDescription and InterpretationIntroductionDescription & Interpretation Program as value, DSLs and encodings: separating description from execution.Last updated on December 27, 2025Safe Refactoring with Property-Based TestingInterpreting Is Giving Meaning to Data