Keywords

#categorical_abstract_machine

Categorical abstract machine

The categorical abstract machine (CAM) is a model of computation for programs that preserves the abilities of applicative, functional, or compositional style. It is based on the techniques of applicative computing.

Tue 10th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Categorical abstract machine Caml OCaml Category theory Krivine machine Cam Lambda calculus Abstraction Turing machine Functional programming
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.