Re: [isabelle] Don’t Make Your Readers Scream



On Tue, 2014-12-16 at 14:31 +0000, Lawrence Paulson wrote:
> We are starting to see calls for papers, so I’ve decided to circulate a
> brief note offering advice on how to get your paper accepted:
> http://www.cl.cam.ac.uk/~lp15/Pages/Scream.html

This may be slightly off-topic, but my favorite piece of advice for
writing papers is Alan Bundy's guide:
http://homepages.inf.ed.ac.uk/bundy/how-tos/writingGuide.html

Best,
Tjark






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