Categorical abstract machine

Known as: Cam (disambiguation) 
The categorical abstract machine (CAM) is a model of computation for programs that preserves the abilities of applicative, functional, or… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1985-2015
02419852015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
  • 2015
The machine is called categorical abstract machine or CAM. The CAM is easier to grasp and prove than the SECD machine. The… (More)
Is this relevant?
2003
2003
We have designed a functional data-parallel language called BSML for programming bulksynchronous parallel (BSP) algorithms in so… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We bridge the gap between functional evaluators and abstract machines for the λ-calculus, using closure conversion… (More)
Is this relevant?
2003
2003
We show how to derive a compiler and a virtual machine from a compositional interpreter. We first illustrate the derivation with… (More)
Is this relevant?
1993
1993
Data-parallel ML is proposed for compilation to a distributed version (DPCAM) of Cousineau, Curien and Mauny's Categorical… (More)
Is this relevant?
1992
1992
In the last two decades, category theory has become one of the main tools for the denotational investigation of programming… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
1991
1991
We present a complete set of staging transformations for translating a class of interpreters into compilers and executors… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1986
1986
Michel Mctuny Asc/~nde~" ~u~ 'ez INRIA D o m a i n e de V o l u c e a u R o c q u e n c o u r t B.P. 105 F-781S3 Le C h e s n a y… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Our main aim is to present the connection between 2-calculus and Cartesian closed categories both in an untyped and purely… (More)
Is this relevant?
Highly Cited
1985