coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Thery Laurent <thery AT ns.di.univaq.it>
- To: coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club]program extraction in Java?
- Date: Thu, 19 Oct 2006 19:01:37 +0200 (CEST)
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Virgile Prevosto had an extraction in Java back in 98.
--
Laurent Théry
- [Coq-Club]program extraction in Java?, Adam Megacz
- Re: [Coq-Club]program extraction in Java?, Benjamin Gregoire
- Re: [Coq-Club]program extraction in Java?,
Xavier Leroy
- Re: [Coq-Club]program extraction in Java?,
Pierre Letouzey
- Re: [Coq-Club]program extraction in Java?, Thery Laurent
- Re: [Coq-Club]program extraction in Java?, Virgile Prevosto
- Re: [Coq-Club]program extraction in Java?, Thery Laurent
- Re: [Coq-Club]program extraction in Java?,
Pierre Letouzey
Archive powered by MhonArc 2.6.16.