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: Florian Hars <florian@h...>
Subject: Re: [Caml-list] C.A.M.?
enrique_vetere@ciudad.com.ar wrote:
> I'm trying to find (for download?) the paper 
> G. Cousineau, P.-L. Curien, and M. Mauny. The categorical abstract machine

A mailing list is not a search engine.
The canonical resource to answer questions like this is Citesser 
(http://citeseer.nj.nec.com/), which, incidentally, is also responsible for the 
first few links google gives you if you search for "catagorical abstract 
machine". The CAM seems to be too old for online documents, but starting there:
 
http://citeseer.nj.nec.com/cs?cs=1&q=categorical+abstract+machine&submit=Citations

you might find some interresting papers citing the paper (follow the "Context")
links.

Sometimes it is useful to paste some of the titles of papers that are not in 
the citeseer index into google, to find things like

http://www.cs.bham.ac.uk/~exr/papers.html

This should keep you busy over the weekend.

Yours, Florian.

-------------------
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