Discussions

• https://arxiv.org/abs/2103.03198 (Search by URL)
  Catala: A Programming Language for the Law (Search by title)
  126 comments, 232 points [6/5/2021]
• https://arxiv.org/abs/1912.04719 (Search by URL)
  Integrating User-Centered Methods into Programming Language Design (Search by title)
  2 comments, 3 points [25/8/2020]
• https://arxiv.org/abs/2006.03511 (Search by URL)
  Unsupervised translation of programming languages (Search by title)
  44 comments, 166 points [9/6/2020]
• https://arxiv.org/abs/1901.10220 (Search by URL)
  On the Impact of Programming Languages on Code Quality (Search by title)
  133 comments, 264 points [5/6/2019]
• https://arxiv.org/abs/1904.06750 (Search by URL)
  From Theory to Systems: A Grounded Approach to Programming Language Education (Search by title)
  14 comments, 130 points [16/4/2019]
• https://arxiv.org/abs/1901.05138 (Search by URL)
  Predicting Variable Types in Dynamically Typed Programming Languages (Search by title)
  36 comments, 61 points [18/1/2019]
• https://arxiv.org/abs/1804.06458 (Search by URL)
  Deep Probabilistic Programming Languages: A Qualitative Study (Search by title)
  2 comments, 53 points [23/4/2018]
• https://arxiv.org/abs/1701.03757v1 (Search by URL)
  Edward – A Turing-Complete Language for Deep Probabilistic Programming (Search by title)
  30 comments, 206 points [19/10/2017]
• http://arxiv.org/abs/1603.00431 (Search by URL)
  On GitHub’s Programming Languages (Search by title)
  38 comments, 77 points [31/3/2016]
• http://arxiv.org/abs/1510.03726 (Search by URL)
  Several types of types in programming languages (Search by title)
  32 comments, 84 points [17/10/2015]
• http://arxiv.org/abs/1507.05946 (Search by URL)
  Buzz: An Extensible Programming Language for Self-Organizing Robot Swarms (Search by title)
  18 comments, 30 points [30/7/2015]
• https://arxiv.org/abs/2108.07732 (Search by URL)
  Program Synthesis with Large Language Models (Search by title)
  20 comments, 63 points [18/8/2021]
• https://arxiv.org/html/1606.00740 (Search by URL)
  The Meaning of Null in Databases and Programming Languages (2016) (Search by title)
  24 comments, 61 points [29/4/2020]
• https://arxiv.org/abs/1807.07892 (Search by URL)
  Bridging the Gap Between Programming Languages and Hardware Weak Memory Models (Search by title)
  13 comments, 64 points [24/7/2018]
• https://arxiv.org/abs/1704.06956 (Search by URL)
  Naturalizing a Programming Language via Interactive Learning (Search by title)
  2 comments, 52 points [29/4/2017]
• https://arxiv.org/abs/1905.00402 (Search by URL)
  Next-Paradigm Programming Languages: What Will They Look Like? (Search by title)
  226 comments, 217 points [2/5/2019]

• https://arxiv.org/pdf/2103.03198.pdf (Search by URL)
  Catala: A Programming Language for the Law (Search by title)
  17 comments, 42 points [6/5/2021] Tags: formalmethods, law, pdf, plt
• https://arxiv.org/pdf/1901.10220.pdf (Search by URL)
  On the Impact of Programming Languages on Code Quality (Search by title)
  15 comments, 29 points [31/1/2019] Tags: pdf, practices
• https://arxiv.org/abs/1702.02951 (Search by URL)
  What can the programming language Rust do for astrophysics? (Search by title)
  2 comments, 7 points [13/2/2017] Tags: rust
• https://arxiv.org/pdf/1905.00402.pdf (Search by URL)
  Next Paradigm Programming Languages: What Will they Look Like and What Changes Will They Bring? (Search by title)
  2 comments, 9 points [2/5/2019] Tags: pdf, plt

• https://arxiv.org/abs/2103.03198#:~:text=catala%20aims%20to%20bring%20together,incorrect%20implementations%20of%20the%20law (Search by URL)
  Catala: A Programming Language for the Law (Search by title)
  203 comments, 528 points [4/5/2021] programming
• http://arxiv.org/abs/1510.03726 (Search by URL)
  Several types of types in programming languages (Search by title)
  4 comments, 34 points [18/10/2015] compsci
• http://arxiv.org/pdf/1304.5485v1.pdf (Search by URL)
  Introducing Quipper: A Programming Language for Quantum Computing (Search by title)
  10 comments, 9 points [6/7/2013] programming
• https://arxiv.org/abs/2108.07732 (Search by URL)
  [R] Program Synthesis with Large Language Models (Search by title)
  5 comments, 19 points [18/8/2021] machinelearning
• http://arxiv.org/abs/1201.0023 (Search by URL)
  How the Chapel programming language approaches region-based memory management? (Search by title)
  3 comments, 11 points [15/7/2016] rust
• http://arxiv.org/abs/1604.01290 (Search by URL)
  Implementation of the Programming Language Dino -- A Case Study in Dynamic Language Performance (Search by title)
  3 comments, 5 points [8/4/2016] programming
• http://arxiv.org/abs/1510.03726 (Search by URL)
  Several types of types in programming languages [abstract + link to PDF] (Search by title)
  11 comments, 22 points [14/10/2015] haskell

• http://arxiv.org/abs/0707.0926 (Search by URL)
  Theorem proving support in programming language semantics (Search by title)
  2 comments, 7370 reads [9/7/2007] Tags: Semantics