Conceptio › Archive › arXiv (OAI Expanded)

arXiv (OAI Expanded)open access

Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc

Sim, Yusung et al.

arXiv (OAI Expanded) · Papers · License: Open Access

Open Source ↗Direct PDF ↓

programming-languages software-engineering

software engineering, programming languages

This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Related documents

Building a research-software catalog with a coding agent: from hackathon prototype to public deployment#965976

Record · ID 788957
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.