Publication | Open Access

Problem solving and the development of abstract categories in programming languages

Programming ParadigmEngineeringDeclarative ProgrammingAutomated ReasoningCategorical ModelFormal MethodsSoftware EngineeringProblem SolvingAbstract CategoriesObject-oriented ProgrammingLanguage StudiesSemanticsProgramming MethodologySoftware AnalysisLinguisticsSoftware DesignProgramming Languages