Archives of the Caml mailing list > Message from Xavier Leroy

Browse thread

Formal specifications of programming languages

Andrej Bauer
- Christopher L Conway
  - Andrej Bauer
    - Jacques Garrigue
    - Xavier Leroy
      - Christopher L Conway
        
        Jacques Garrigue
        
        Jacques Carette
        
        Christophe Raffalli

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