Programming Language Theory ConceptPureProperties 4Hide BooksChapter 2. EvaluationLogical foundations JourneyProgramming Language Theory Statusmastered Tagsdesign principleprogram analysisprogramming paradigmsemanticsThe property of a function or computation that has no side effects and always returns the same output for the same input, making it referentially transparent. Previous in ConceptsPrototype classNext in Concepts Pure type system