🏛️ The Programming Languages Crypt

cs.PL: Where Programming Languages papers rest without their code.

3783 Total Papers
3450 No Code
30 Twilight
303 Has Code
8.0% Survival Rate
R.I.P. 👻 Ghosted

Fusing Gathers with Integer Linear Programming

David van Balen, Gabriele Keller, ... (+2 more)

cs.PL 🏛 Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Programming for Productivity and Performance 📚 1 cites 1 year ago
R.I.P. 👻 Ghosted

The SemGuS Toolkit

Keith J. C. Johnson, Andrew Reynolds, ... (+2 more)

cs.PL 🏛 CAV 📚 1 cites 2 years ago