Zulip Chat Archive

Stream: general

Topic: another CPP paper


view this post on Zulip Mario Carneiro (Oct 22 2018 at 03:39):

Hi all, I wanted to share my own submission in CPP this year, which just made it on arXiv: Formalizing computability theory via partial recursive functions

view this post on Zulip Simon Hudon (Oct 22 2018 at 03:41):

I've never shared papers on arXiv. Do publishers ever object to it?

view this post on Zulip Bryan Gin-ge Chen (Oct 22 2018 at 04:01):

I don't know about CS, but in physics and math (so far as I know) such objections would be extremely unusual. Journals might restrict sharing the final published / peer-reviewed versions, but I've not had to deal with anything too onerous (I think for one paper the journal didn't want us toupload the revised version to the arxiv until a few months after the paper was published).

view this post on Zulip Mario Carneiro (Oct 22 2018 at 04:16):

I've put all the papers I've ever published on arXiv

view this post on Zulip Mario Carneiro (Oct 22 2018 at 04:16):

I'm not a fan of paywalls generally

view this post on Zulip Mario Carneiro (Oct 22 2018 at 04:17):

I've never received any indication that it is objectionable, and most journals explicitly say it's okay

view this post on Zulip Simon Hudon (Oct 22 2018 at 04:19):

Oh, that's interesting. I think I'm going to start doing that.

view this post on Zulip Simon Hudon (Oct 22 2018 at 04:31):

I just had a look at the paper, @Mario Carneiro, I really like the type setting. It both looks like code and like math. Nice!

view this post on Zulip Mario Carneiro (Oct 22 2018 at 04:31):

I really like the conference style file :)

view this post on Zulip Mario Carneiro (Oct 22 2018 at 04:34):

hm, I just noticed the latex rendering for arxiv has a few overrun problems. Ignore that - I'm sure they will go away in the $30 version or w/e

view this post on Zulip Bryan Gin-ge Chen (Oct 22 2018 at 04:35):

I guess the "PL’18, January 01–03, 2018, New York, NY, USA" everywhere is also just part of the template

view this post on Zulip Johan Commelin (Oct 22 2018 at 04:44):

In maths we are getting more and more diamond open access journals: no paywall for the reader, no paywall for the author. That's the way it ought to be.

view this post on Zulip Johan Commelin (Oct 22 2018 at 04:46):

Also: congrats with the paper! (@Simon Hudon One telltale sign about the typesetting: maths-maths papers are never set in 2 columns.)

view this post on Zulip Mario Carneiro (Oct 22 2018 at 04:51):

yes Bryan, the conference is supposed to supply the appropriate template during preparation


Last updated: May 15 2021 at 23:13 UTC