Pages that link to "Item:Q2931775"
From MaRDI portal
The following pages link to Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Q2931775):
Displayed 44 items.
- Engineering mathematics (Q2931776) (← links)
- Full abstraction for nominal Scott domains (Q2931777) (← links)
- The sequential semantics of producer effect systems (Q2931778) (← links)
- Copatterns (Q2931780) (← links)
- Cache and I/O efficent functional algorithms (Q2931782) (← links)
- On the linear ranking problem for integer linear-constraint loops (Q2931783) (← links)
- Advanced automata minimization (Q2931784) (← links)
- Automating relatively complete verification of higher-order functional programs (Q2931785) (← links)
- Abstraction and invariance for algebraically indexed types (Q2931786) (← links)
- Static and dynamic semantics of NoSQL languages (Q2931787) (← links)
- Quantitative abstraction refinement (Q2931788) (← links)
- Inductive data flow graphs (Q2931789) (← links)
- Abstract conflict driven learning (Q2931790) (← links)
- The Lambda Lambda-Bar calculus (Q2931792) (← links)
- The geometry of types (Q2931793) (← links)
- Universal properties of impure programming languages (Q2931794) (← links)
- The power of parameterization in coinductive proof (Q2931796) (← links)
- Meta-theory à la carte (Q2931797) (← links)
- A theorem prover for Boolean BI (Q2931798) (← links)
- Library abstraction for C/C++ concurrency (Q2931799) (← links)
- Fault tolerance via idempotence (Q2931800) (← links)
- Deadlock-freedom-by-design (Q2931801) (← links)
- The type discipline of behavioral separation (Q2931803) (← links)
- Views (Q2931804) (← links)
- High-level separation logic for low-level code (Q2931805) (← links)
- Quantitative relaxation of concurrent data structures (Q2931807) (← links)
- Plan B (Q2931808) (← links)
- Logical relations for fine-grained concurrency (Q2931809) (← links)
- Linear dependent types for differential privacy (Q2931812) (← links)
- Fully abstract compilation to JavaScript (Q2931813) (← links)
- Towards fully automatic placement of security sanitizers and declassifiers (Q2931814) (← links)
- A model-learner pattern for bayesian reasoning (Q2931816) (← links)
- Hyperstream processing systems (Q2931818) (← links)
- HALO (Q2931819) (← links)
- Sigma* (Q2931821) (← links)
- Checking NFA equivalence with bisimulations up to congruence (Q2931822) (← links)
- Synthesis of biological models from mutation experiments (Q2931826) (← links)
- Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (Q2931828) (← links)
- Optimizing data structures in high-level programs (Q2931835) (← links)
- Principled parsing for indentation-sensitive languages (Q2931836) (← links)
- The ramifications of sharing in data structures (Q2931837) (← links)
- Automatic detection of floating-point exceptions (Q2931838) (← links)
- Subjective auxiliary state for coarse-grained concurrency (Q2931839) (← links)
- Complete instantiation-based interpolation (Q5891935) (← links)