diff --git a/paradigms/functional_programming/README.md b/languages-paradigms/functional_programming/README.md similarity index 100% rename from paradigms/functional_programming/README.md rename to languages-paradigms/functional_programming/README.md diff --git a/paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf b/languages-paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf similarity index 100% rename from paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf rename to languages-paradigms/functional_programming/concatenative-programming-an-overlooked-paradigm.pdf diff --git a/paradigms/functional_programming/equal-rights-for-functional-objects.pdf b/languages-paradigms/functional_programming/equal-rights-for-functional-objects.pdf similarity index 100% rename from paradigms/functional_programming/equal-rights-for-functional-objects.pdf rename to languages-paradigms/functional_programming/equal-rights-for-functional-objects.pdf diff --git a/paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf b/languages-paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf similarity index 100% rename from paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf rename to languages-paradigms/functional_programming/functional-programming-with-bananas-lenses-envelops-and-barbed-wire.pdf diff --git a/paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf b/languages-paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf similarity index 100% rename from paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf rename to languages-paradigms/functional_programming/optimal-purely-functional-priority-queues.pdf diff --git a/paradigms/functional_programming/organizing-programs-without-classes.pdf b/languages-paradigms/functional_programming/organizing-programs-without-classes.pdf similarity index 100% rename from paradigms/functional_programming/organizing-programs-without-classes.pdf rename to languages-paradigms/functional_programming/organizing-programs-without-classes.pdf diff --git a/paradigms/functional_programming/purely-functional-data-structures.pdf b/languages-paradigms/functional_programming/purely-functional-data-structures.pdf similarity index 100% rename from paradigms/functional_programming/purely-functional-data-structures.pdf rename to languages-paradigms/functional_programming/purely-functional-data-structures.pdf diff --git a/paradigms/functional_programming/why-functional-programming-matters.pdf b/languages-paradigms/functional_programming/why-functional-programming-matters.pdf similarity index 100% rename from paradigms/functional_programming/why-functional-programming-matters.pdf rename to languages-paradigms/functional_programming/why-functional-programming-matters.pdf diff --git a/paradigms/functional_reactive_programming/README.md b/languages-paradigms/functional_reactive_programming/README.md similarity index 100% rename from paradigms/functional_reactive_programming/README.md rename to languages-paradigms/functional_reactive_programming/README.md diff --git a/paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf b/languages-paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf similarity index 100% rename from paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf rename to languages-paradigms/functional_reactive_programming/a-survey-of-functional-reactive-programming.pdf diff --git a/paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf b/languages-paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf similarity index 100% rename from paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf rename to languages-paradigms/functional_reactive_programming/deprecating-the observer-pattern.pdf diff --git a/paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf b/languages-paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf similarity index 100% rename from paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf rename to languages-paradigms/functional_reactive_programming/frp-in-plt-scheme.pdf diff --git a/paradigms/functional_reactive_programming/functional-reactive-animation.pdf b/languages-paradigms/functional_reactive_programming/functional-reactive-animation.pdf similarity index 100% rename from paradigms/functional_reactive_programming/functional-reactive-animation.pdf rename to languages-paradigms/functional_reactive_programming/functional-reactive-animation.pdf diff --git a/paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf b/languages-paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf similarity index 100% rename from paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf rename to languages-paradigms/functional_reactive_programming/ray-integrating-rx-and-async-for-direct-style-reactive-streams.pdf diff --git a/paradigms/new_paradigms/README.md b/languages-paradigms/new_paradigms/README.md similarity index 100% rename from paradigms/new_paradigms/README.md rename to languages-paradigms/new_paradigms/README.md diff --git a/paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf b/languages-paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf similarity index 100% rename from paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf rename to languages-paradigms/new_paradigms/cognitive-computing-programming-paradigm-corelet-language.pdf diff --git a/paradigms/object_oriented_programming/README.md b/languages-paradigms/object_oriented_programming/README.md similarity index 100% rename from paradigms/object_oriented_programming/README.md rename to languages-paradigms/object_oriented_programming/README.md diff --git a/plt/README.md b/languages-theory/README.md similarity index 100% rename from plt/README.md rename to languages-theory/README.md diff --git a/plt/composable-and-compilable-macros-you-want-it-when.pdf b/languages-theory/composable-and-compilable-macros-you-want-it-when.pdf similarity index 100% rename from plt/composable-and-compilable-macros-you-want-it-when.pdf rename to languages-theory/composable-and-compilable-macros-you-want-it-when.pdf diff --git a/plt/fundamental-concepts-in-programming-languages.pdf b/languages-theory/fundamental-concepts-in-programming-languages.pdf similarity index 100% rename from plt/fundamental-concepts-in-programming-languages.pdf rename to languages-theory/fundamental-concepts-in-programming-languages.pdf diff --git a/plt/on-understanding-types-data-abstraction-polymorphism.pdf b/languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf similarity index 100% rename from plt/on-understanding-types-data-abstraction-polymorphism.pdf rename to languages-theory/on-understanding-types-data-abstraction-polymorphism.pdf diff --git a/plt/predicate-dispatching.pdf b/languages-theory/predicate-dispatching.pdf similarity index 100% rename from plt/predicate-dispatching.pdf rename to languages-theory/predicate-dispatching.pdf diff --git a/plt/principal-type-schemes-for-functional-programs.pdf b/languages-theory/principal-type-schemes-for-functional-programs.pdf similarity index 100% rename from plt/principal-type-schemes-for-functional-programs.pdf rename to languages-theory/principal-type-schemes-for-functional-programs.pdf diff --git a/plt/programming-languages-application-and-interpretation.pdf b/languages-theory/programming-languages-application-and-interpretation.pdf similarity index 100% rename from plt/programming-languages-application-and-interpretation.pdf rename to languages-theory/programming-languages-application-and-interpretation.pdf diff --git a/plt/programming-with-algebraic-effects-and-handlers.pdf b/languages-theory/programming-with-algebraic-effects-and-handlers.pdf similarity index 100% rename from plt/programming-with-algebraic-effects-and-handlers.pdf rename to languages-theory/programming-with-algebraic-effects-and-handlers.pdf diff --git a/plt/propositions-as-types.pdf b/languages-theory/propositions-as-types.pdf similarity index 100% rename from plt/propositions-as-types.pdf rename to languages-theory/propositions-as-types.pdf diff --git a/plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf b/languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf similarity index 100% rename from plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf rename to languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf diff --git a/plt/theory-in-programming-practice.pdf b/languages-theory/theory-in-programming-practice.pdf similarity index 100% rename from plt/theory-in-programming-practice.pdf rename to languages-theory/theory-in-programming-practice.pdf diff --git a/languages/README.md b/languages/README.md index ec21705..b07991e 100644 --- a/languages/README.md +++ b/languages/README.md @@ -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)