The Coq mailing list

[Bruno De Fraine <Bruno.De.Fraine AT vub.ac.be>]

Hello,

On 11 Aug 2009, at 13:24, Bruno De Fraine wrote:

> Not so long ago, I've developed a formalization of Featherweight  
> Java with the help of Erik Ernst and Mario Südholt. (In case you are  
> wondering, this work was a steppingstone to research the typing of  
> aspect languages in Coq, some of which is included in my PhD.)
>
> Our development compiles under Coq 8.2 and you can find it in  
> attachment to this e-mail.

I've noticed that the list archive did not retain the attachment to my  
message.

Therefore, I've created a separate download location at:

  http://soft.vub.ac.be/~bdefrain/featherj/

Best regards,
Bruno De Fraine


--
Bruno De Fraine
Vrije Universiteit Brussel
Faculty of Sciences, DINF - SOFT
Room 10F744, Pleinlaan 2, B-1050 Brussels
tel: +32 (0)2 629 29 75
e-mail: 
Bruno.De.Fraine AT vub.ac.be