Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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 
abandoned.

Thank you

Enrique Vetere

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners