I really like papers about type systems or programming languages, recently I read Extensible Records with Scoped Labels which is really good (I actually made it the basis of my bachelors thesis).
As a side note (and a shameless plug :D), together with a few fellow students, I co-authored a paper about the control software of our satellite that will launch in 11 days! The paper was presented an published at EUCASS
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
I really like papers about type systems or programming languages, recently I read Extensible Records with Scoped Labels which is really good (I actually made it the basis of my bachelors thesis).
As a side note (and a shameless plug :D), together with a few fellow students, I co-authored a paper about the control software of our satellite that will launch in 11 days! The paper was presented an published at EUCASS