cs.PL
Subcategories
Papers
2026-01-10
- paper Mitchell Riley · 2024 A Type Theory with a Tiny Object cs.PLmath.CTmath.LO
2025-12-13
- paper Benedikt Ahrens · 2022 Category Theory for Programming cs.PLmath.CT
2025-12-08
- paper Chris Cummins · 2024 Meta Large Language Model Compiler: Foundation Models of Compiler Optimization cs.AIcs.PL
2025-07-16
- paper Hanzhuo Tan · 2024 LLM4Decompile: Decompiling Binary Code with Large Language Models cs.CLcs.PL
2025-07-15
- paper Xiyu Zhai · 2025 Transformers are Efficient Compilers, Provably cs.LGcs.PL
2025-06-03
- paper Alexander K. Lew · 2023 Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programs cs.AIcs.CLcs.PLstat.CO