From 80dce9beb22fe1e4002fdae9333c713c8b4ed771 Mon Sep 17 00:00:00 2001 From: Stephen De Gabrielle Date: Thu, 11 Jul 2019 21:17:43 +0100 Subject: [PATCH] scroll emoji removed --- languages/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/languages/README.md b/languages/README.md index bb76a05..dfba6ed 100644 --- a/languages/README.md +++ b/languages/README.md @@ -4,7 +4,7 @@ Programming language theory (PLT) is a branch of computer science that deals wit ## Included Papers -* :scroll: [On the Expressive Power of Programming Languages](https://www.sciencedirect.com/science/article/pii/016764239190036W) (Matthias Felleisen): "The literature on programming languages contains an abundance of informal +* [On the Expressive Power of Programming Languages](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