Discussions

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

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

• [R] A Neural Programming Language for the Reservoir Computer (Search by title)
  https://arxiv.org/pdf/2203.05032.pdf (Lookup URL)
  3 comments, 6 points [12/3/2022] machinelearning
• Catala: A Programming Language for the Law (Search by title)
  https://arxiv.org/abs/2103.03198#:~:text=catala%20aims%20to%20bring%20together,incorrect%20implementations%20of%20the%20law (Lookup URL)
  200 comments, 532 points [4/5/2021] programming
• [Beginner] What are other applications of dependent types in programming languages that are similar to sized types? (Search by title)
  https://arxiv.org/pdf/1012.4896.pdf (Lookup URL)
  4 comments, 5 points [11/10/2020] idris
• Several types of types in programming languages (Search by title)
  http://arxiv.org/abs/1510.03726 (Lookup URL)
  4 comments, 35 points [18/10/2015] compsci
• Introducing Quipper: A Programming Language for Quantum Computing (Search by title)
  http://arxiv.org/pdf/1304.5485v1.pdf (Lookup URL)
  8 comments, 11 points [6/7/2013] programming
• [R] Program Synthesis with Large Language Models (Search by title)
  https://arxiv.org/abs/2108.07732 (Lookup URL)
  5 comments, 17 points [18/8/2021] machinelearning
• How the Chapel programming language approaches region-based memory management? (Search by title)
  http://arxiv.org/abs/1201.0023 (Lookup URL)
  3 comments, 8 points [15/7/2016] rust
• Implementation of the Programming Language Dino -- A Case Study in Dynamic Language Performance (Search by title)
  http://arxiv.org/abs/1604.01290 (Lookup URL)
  3 comments, 4 points [8/4/2016] programming
• Several types of types in programming languages [abstract + link to PDF] (Search by title)
  http://arxiv.org/abs/1510.03726 (Lookup URL)
  11 comments, 20 points [14/10/2015] haskell

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