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: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: [Caml-list] Formal specifications of programming languages
> 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