another CPP paper

Stream: general

[Mario Carneiro]

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

[Simon Hudon]

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

[Bryan Gin-ge Chen]

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).

[Mario Carneiro]

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

[Mario Carneiro]

I'm not a fan of paywalls generally

[Mario Carneiro]

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

[Simon Hudon]

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

[Simon Hudon]

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!

[Mario Carneiro]

I really like the conference style file :)

[Mario Carneiro]

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

[Bryan Gin-ge Chen]

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

[Johan Commelin]

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.

[Johan Commelin]

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

[Mario Carneiro]

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