Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] [Q]: Co(ntra)variance and subtyping?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Gurr <gurr@m...>
Subject: Re: [Caml-list] [Q]: Co(ntra)variance and subtyping?

X. Leroy has slides from lectures which can be reached from
his homepage (the second lecture is the one you want).  From 
www.ocaml.org, go to project crystal, personel, X.Leroy, 
teaching/lectures, or something like that.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr