---
title: "Proceedings of the ACM on Programming Languages 2018 — all"
description: "All 108 papers of Proceedings of the ACM on Programming Languages 2018 · page 2 of 2, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/page/2/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/page/2/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Proceedings of the ACM on Programming…](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/) / [2018](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/) / [papers](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/) / page 2

# Proceedings of the ACM on Programming Languages 2018: all accepted papers

108 papers · page 2 of 2 · the most cited first · [← Proceedings of the ACM on Programming Languages 2018](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/)

[← prev](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/) [1](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/) **2**

101. **[Foundations for natural proofs and quantifier instantiation ↗](https://doi.org/10.18154/rwth-2018-01272)**Christof Löding, Madhusudan, P., Lucas Peña
102. **[What’s the difference? a functional pearl on subtracting bijections ↗](https://doi.org/10.1145/3236796)**Brent A. Yorgey, Kenneth Foner
103. **[キャストとコスト:段階的タイピングにおける安全性と性能の調和【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002282264135913)**Campora John Peter, Chen Sheng, Eric Walkingshaw
104. **[パラメトリック多形と演算改善【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002235700282998)**Jennifer Hackett, Hutton Graham
105. **[型指向コンパイルを最適化するための有限多形【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002278625887576)**Atsushi Ohori, Ueno Katsuhiro, Hisayuki Mima
106. **[最初の人種の後に何が起こるのか? 幸福に基づく動的人種検出の予測力の強化【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002241780577405)**Umang Mathur, Dileep Kini, Viswanathan Mahesh
107. **[自動評価と機能的損失ゲーム(経験報告)を用いたプログラムの教育【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002231779173284)**Almeida Jose Bacelar, Alcino Cunha, Nuno Macedo et al.
108. **[関係クエリーのための記号推論の高速化【JST・京大機械翻訳】 ↗](https://jglobal.jst.go.jp/detail?JGLOBAL_ID=202002291343976828)**Wang Chenglong, Cheung Alvin, Bodik Rastislav

[← prev](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/) [1](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/) **2**

- [← back to](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/) — Proceedings of the ACM on Programming Languages 2018