Re: [isabelle] CakeML Developers Meeting 13-14 May 2019

On 24/04/2019 14:19, Magnus Myreen wrote:
> This year's CakeML Developers Meeting will be held 13-14 May 2019 at
> Chalmers in Gothenburg Sweden. This meeting brings together developers
> and users of CakeML -- anyone with an interest in CakeML is welcome.
> The preliminary programme for the meeting is here:

This particular item on the programme looks particularly interesting:

  * What next for Isabelle/HOL CakeML translator? — Jonas Raedle and
Lars Hupel


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.