Programming Language Theory ConceptFirst-classProperties 4Hide BooksChapter 1. Learning SMoL - standard model of languagesChapter 1. Basics - functional programming in rocq JourneyProgramming Language Theory Statusmastered Tagslanguage feature designsemanticssyntax grammarCan be stored in variables.Passed as arguments.Returned from functions.Created at runtime.Embedded in data structures without restriction. Previous in ConceptsFinite typeNext in Concepts First class functional programming pure