Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity

Rename "paradigm" and "plt" folders for findability (#561)

Browse Source 
* rename "language-paradigm" folder for findability

lang para pluralize

* rename PLT => languages-theory

* fixed formatting
This commit is contained in:
NewAlexandria 2019-09-04 06:38:53 -04:00 committed by Darren
parent 9e1ee27e9f
commit bbe18dc2c5
29 changed files with 1 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
paradigms/functional_programming/README.md → languages-paradigms/functional_programming/README.md
View File

0
paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf → languages-paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf
View File

0
paradigms/functional_programming/equal-rights-for-functional-objects.pdf → languages-paradigms/functional_programming/equal-rights-for-functional-objects.pdf
View File

0
paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf → languages-paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf
View File

0
paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf → languages-paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf
View File

0
paradigms/functional_programming/organizing-programs-without-classes.pdf → languages-paradigms/functional_programming/organizing-programs-without-classes.pdf
View File

0
paradigms/functional_programming/purely-functional-data-structures.pdf → languages-paradigms/functional_programming/purely-functional-data-structures.pdf
View File

0
paradigms/functional_programming/why-functional-programming-matters.pdf → languages-paradigms/functional_programming/why-functional-programming-matters.pdf
View File

0
paradigms/functional_reactive_programming/README.md → languages-paradigms/functional_reactive_programming/README.md
View File

0
paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf → languages-paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf
View File

0
paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf → languages-paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf
View File

0
paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf → languages-paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf
View File

0
paradigms/functional_reactive_programming/functional-reactive-animation.pdf → languages-paradigms/functional_reactive_programming/functional-reactive-animation.pdf
View File

0
paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf → languages-paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf
View File

0
paradigms/new_paradigms/README.md → languages-paradigms/new_paradigms/README.md
View File

0
paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf → languages-paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf
View File

0
paradigms/object_oriented_programming/README.md → languages-paradigms/object_oriented_programming/README.md
View File

0
plt/README.md → languages-theory/README.md
View File

0
plt/composable-and-compilable-macros-you-want-it-when.pdf → languages-theory/composable-and-compilable-macros-you-want-it-when.pdf
View File

0
plt/fundamental-concepts-in-programming-languages.pdf → languages-theory/fundamental-concepts-in-programming-languages.pdf
View File

0
plt/on-understanding-types-data-abstraction-polymorphism.pdf → languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf
View File

0
plt/predicate-dispatching.pdf → languages-theory/predicate-dispatching.pdf
View File

0
plt/principal-type-schemes-for-functional-programs.pdf → languages-theory/principal-type-schemes-for-functional-programs.pdf
View File

0
plt/programming-languages-application-and-interpretation.pdf → languages-theory/programming-languages-application-and-interpretation.pdf
View File

0
plt/programming-with-algebraic-effects-and-handlers.pdf → languages-theory/programming-with-algebraic-effects-and-handlers.pdf
View File

0
plt/propositions-as-types.pdf → languages-theory/propositions-as-types.pdf
View File

0
plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf → languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf
View File

0
plt/theory-in-programming-practice.pdf → languages-theory/theory-in-programming-practice.pdf
View File

11
languages/README.md
View File

@ -4,13 +4,4 @@ Programming language theory (PLT) is a branch of computer science that deals wit
## Included Papers
* :scroll: [On the Expressive Power of Programming Languages](scp91-felleisen.ps.gz) [sciencedirect](https://www.sciencedirect.com/science/article/pii/016764239190036W)(Matthias Felleisen): "The literature on programming languages contains an abundance of informal
claims on the relative expressive power of programming languages, but there
is no framework for formalizing such statements nor for deriving interesting
consequences. As a first step in this direction, we develop a formal notion
of expressiveness and investigate its properties. To demonstrate the theory's
closeness to published intuitions on expressiveness, we analyze the expressive
power of several extensions of functional languages. Based on these results,
we believe that our system correctly captures many of the informal ideas on
expressiveness, and that it constitutes a good basis for further research in this
direction. " (abstract)
* :scroll: [On the Expressive Power of Programming Languages](scp91-felleisen.ps.gz) [sciencedirect](https://www.sciencedirect.com/science/article/pii/016764239190036W)(Matthias Felleisen): "The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages, but there is no framework for formalizing such statements nor for deriving interesting consequences. As a first step in this direction, we develop a formal notion of expressiveness and investigate its properties. To demonstrate the theory's closeness to published intuitions on expressiveness, we analyze the expressive power of several extensions of functional languages. Based on these results, we believe that our system correctly captures many of the informal ideas on expressiveness, and that it constitutes a good basis for further research in this direction. " (abstract)