[Agda] Add Agda papers to the wiki
Andreas Abel
abela at chalmers.se
Tue May 10 10:59:03 CEST 2016
Thanks to everyone who already acted upon our call! I have added some
more papers of known suspects
Benedikt Ahrens
Guillaume Allais
Jean-Philippe Bernardy
Paolo Capriotti
Martin Escardo
Wolfram Kahl
Nicolai Kraus
Chuangjie Xu
More contributions are very welcome, preferably during this week!
Cheers, Andreas
On 04.05.2016 15:19, Nils Anders Danielsson wrote:
> Hi,
>
> Have you written any paper that uses Agda in some way (in the text or in
> an accompanying formalisation), but is not listed on the following Agda
> Wiki page?
>
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.PapersUsingAgda
>
> In that case, please list the paper. The wiki can be edited without
> registration. If you don't feel like editing the wiki yourself you can
> also send the information to me.
>
> Our group in Gothenburg will soon apply for money to (among other
> things) continue developing Agda, and one way to indicate that Agda is
> useful to our community is to show that Agda is used to produce papers.
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list