coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme.

From: Ramana Kumar <Ramana.Kumar AT cl.cam.ac.uk>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme.
Date: Wed, 23 Apr 2014 17:01:56 +0100

On Wed, Apr 23, 2014 at 4:53 PM, Larry Lee <llee AT jhsph.edu> wrote:

@Ramana. Mind if I study cakeml and use it as a model for the current project?

Please do :) Feel free to send any questions my way (or to the CakeML mailing list).

And of course the code and proofs are all free to read/modify/redistribute etc.

[Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., llee, 04/23/2014
- Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., J. Ian Johnson, 04/23/2014
  - Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Ramana Kumar, 04/23/2014
    - Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Larry Lee, 04/23/2014
      - Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Ramana Kumar, 04/23/2014
      - [Coq-Club] UITP Call for papers, Laurent Théry, 04/24/2014
- Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Kristopher Micinski, 04/24/2014
  - Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Larry Lee, 04/24/2014
    - Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Kristopher Micinski, 04/24/2014
      - Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Ramana Kumar, 04/24/2014
        
        Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Kristopher Micinski, 04/24/2014
        
        Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Larry Lee, 04/24/2014
        
        Re: [Coq-Club] Looking For Collaborators to Develop an Open Source Formally Verified Compiler for R7RS Scheme., Ramana Kumar, 04/24/2014