Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] C.A.M.?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-10-11 (02:39)
From: enrique_vetere@c...
Subject: [Caml-list] C.A.M.?
I'm trying to find (for download?) the paper 

G. Cousineau, P.-L. Curien, and M. Mauny. The categorical abstract machine

Alternatively (or additionally) any downloable reading about CAMs would be 
very helpfull (I've been reading some CT, and I'm trying to learn about 
its computer science applications).

I understand that CAML was originally based on a CAM, but this is no 
longer so... I'd appreciate any comments/references of the reasons it was 

Thank you

Enrique Vetere

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: