Proceedings of the ACM on Programming Languages 2018: all accepted papers
- Foundations for natural proofs and quantifier instantiation ↗Christof Löding, Madhusudan, P., Lucas Peña
- What’s the difference? a functional pearl on subtracting bijections ↗Brent A. Yorgey, Kenneth Foner
- キャストとコスト:段階的タイピングにおける安全性と性能の調和【JST・京大機械翻訳】 ↗Campora John Peter, Chen Sheng, Eric Walkingshaw
- パラメトリック多形と演算改善【JST・京大機械翻訳】 ↗Jennifer Hackett, Hutton Graham
- 型指向コンパイルを最適化するための有限多形【JST・京大機械翻訳】 ↗Atsushi Ohori, Ueno Katsuhiro, Hisayuki Mima
- 最初の人種の後に何が起こるのか? 幸福に基づく動的人種検出の予測力の強化【JST・京大機械翻訳】 ↗Umang Mathur, Dileep Kini, Viswanathan Mahesh
- 自動評価と機能的損失ゲーム(経験報告)を用いたプログラムの教育【JST・京大機械翻訳】 ↗Almeida Jose Bacelar, Alcino Cunha, Nuno Macedo et al.
- 関係クエリーのための記号推論の高速化【JST・京大機械翻訳】 ↗Wang Chenglong, Cheung Alvin, Bodik Rastislav
This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2018/papers/page/2/