The taming of the rew: a type theory with computational assumptions.
Jesper CockxNicolas TabareauThéo WinterhalterPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- computational models
- information theory
- theoretical foundation
- mathematical programming
- theoretical basis
- formal theory
- three dimensional
- multiscale
- wide range
- search algorithm
- theoretical framework
- underlying assumptions
- data sets
- general theory
- statistical inference
- decision theory
- computational power
- scheduling problem
- face recognition
- data mining
- databases