Back to Results
First PageMeta Content
Systems theory / Software engineering / Dynamic programming / Control theory / Procedural programming languages / Bellman equation / Function / ALGOL 68 / Monad / Mathematical optimization / Mathematics / Equations


Sequential decision problems, dependently typed solutions Nicola Botta1 , Cezar Ionescu1 , and Edwin Brady2 1 Potsdam Institute for Climate Impact Research, Telegrafenberg A31, 14473
Add to Reading List

Document Date: 2013-06-25 15:30:23

Open Document

File Size: 255,30 KB

Share Result on Facebook

City

Potsdam / /

Country

Germany / United Kingdom / /

/

Facility

University of St Andrews / Potsdam Institute / /

IndustryTerm

typed solutions / backwards induction algorithm / generic algorithms / /

Organization

Potsdam Institute for Climate Impact Research / University of St Andrews / /

Person

Nat / /

Position

programmer / /

ProgrammingLanguage

Haskell / /

Technology

backwards induction algorithm / /

SocialTag