The Categorical Abstract Machine

Guy Cousineau, Pierre-Louis Curien, Michel Mauny. The Categorical Abstract Machine. Science of Computer Programming, 8(2):173-202, 1987.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.