Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2008-02-14 (09:08)
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:

- Xavier Leroy