cam-light recursive types

From: Paulo Nunes (l11593@alunos.uevora.pt)
Date: Tue Jun 09 1998 - 19:50:11 MET DST

Next message: Damien Doligez: "Re: Memoire ecran en Caml"
Previous message: Didier Remy: "Re: co(ntra)-variant subtyping"
In reply to: Hendrik Tews: "Re: co(ntra)-variant subtyping"
Next in thread: Jean-Christophe Filliatre: "CGI library"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Message-Id: <199806091751.SAA28479@alunos.uevora.pt>
From: "Paulo Nunes" <l11593@alunos.uevora.pt>
To: <caml-list@inria.fr>
Subject: cam-light recursive types
Date: Tue, 9 Jun 1998 18:50:11 +0100

Hello

I'm a rookie caml-light programmer and I'd like to see some examples
of the using of the recursive types and binary trees. (sorry about the bad
english)
How do I contact with people in the mailing list and how do I read the
mails?

Thanks for now

Greetings

Paulo Nunes

Next message: Damien Doligez: "Re: Memoire ecran en Caml"
Previous message: Didier Remy: "Re: co(ntra)-variant subtyping"
In reply to: Hendrik Tews: "Re: co(ntra)-variant subtyping"
Next in thread: Jean-Christophe Filliatre: "CGI library"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:14 MET