mirror of
https://github.com/papers-we-love/papers-we-love.git
synced 2024-10-27 20:34:20 +00:00
914b488327
This paper from 1991 introduces an approach for runtime type checking and type coercion. It is relevant because this approach is being considered for addition into Ruby 3.0. This paper will be discussed at PWL Berlin.
10 lines
576 B
Markdown
10 lines
576 B
Markdown
# Programming Language Theory
|
|
|
|
* [Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs](http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf)
|
|
|
|
* [Programming and Reasoning with Algebraic Effects and Dependent Types](http://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf)
|
|
|
|
* [Programming Languages: History and Future](http://www.csee.umbc.edu/courses/undergraduate/CMSC331/resources/papers/sammet1972.pdf)
|
|
|
|
* [Soft Typing](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.24.9333&rep=rep1&type=pdf)
|