Version française
Home     About     Download     Resources     Contact us    
Browse thread
Formal specifications of programming languages
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christopher L Conway <cconway@c...>
Subject: Re: [Caml-list] Formal specifications of programming languages
Xavier,

Do any of these papers address existentials?

Regards,
Chris

On Thu, Feb 14, 2008 at 4:08 AM, Xavier Leroy <Xavier.Leroy@inria.fr> wrote:
> > Didn't Jacques say in a related post "Most of the type system is
>  > formalized, but there is no single place to look at"? Jacques, does the
>  > "type system" mean "type checking", "type inference", "operational
>  > semantics", or what. Heck, I should just look up the papers.
>  >
>  > Maybe we should collect the relevant URLs and place them in the wiki. It
>  > would be a start. I might do that.
>
>  It's been done a long time ago: http://caml.inria.fr/about/papers.en.html
>
>  - Xavier Leroy
>
>
>
>  _______________________________________________
>  Caml-list mailing list. Subscription management:
>  http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>  Archives: http://caml.inria.fr
>  Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>  Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>