Publication | Closed Access

Type-Based Cost Analysis for Lazy Functional Languages

EngineeringAutomated ReasoningProgram AnalysisDependently Typed ProgrammingFormal MethodsComputational ComplexityLazy Functional LanguagesComputer ScienceType SystemSoftware AnalysisFunctional Programming Language