Image de couverture de livre

Navigating the Python Type Jungle

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nacu, Andrei, Lucanu, Dorel
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Static Analysis Framework for Detecting Use-After-Free Bugs in C++
par: Teodorescu, Vlad-Alexandru, et autres
Publié: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
par: Susan, Ştefan-Claudiu, et autres
Publié: (2025)

Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions
par: Susan, Stefan-Claudiu, et autres
Publié: (2026)

Getting Python Types Right with RightTyper
par: Pizzorno, Juan Altmayer, et autres
Publié: (2025)

An Empirical Study on the Performance and Energy Usage of Compiled Python Code
par: Stoico, Vincenzo, et autres
Publié: (2025)

Automated Type Annotation in Python Using Large Language Models
par: Bharti, Varun, et autres
Publié: (2025)

Egglog Python: A Pythonic Library for E-graphs
par: Shanabrook, Saul
Publié: (2023)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
par: Bachmann, Clemens, et autres
Publié: (2024)

An Enumerative Embedding of the Python Type System in ACL2s
par: Xifaras, Samuel, et autres
Publié: (2025)

Circular Induction
par: Lucanu, Dorel, et autres
Publié: (2026)

GView: A Versatile Assistant for Security Researchers
par: Zaharia, Raul, et autres
Publié: (2024)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
par: Dong, Honghua, et autres
Publié: (2025)

A Multilingual Python Programming Language
par: Bazaz, Saad Ahmed, et autres
Publié: (2025)

Hear Your Code Fail, Voice-Assisted Debugging for Python
par: Amiri, Sayed Mahbub Hasan, et autres
Publié: (2025)

pyeb: A Python Implementation of Event-B Refinement Calculus
par: Cataño, Néstor
Publié: (2025)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
par: Saravanos, Antonios, et autres
Publié: (2026)

Automatic Generation of Python Programs Using Context-Free Grammars
par: Yamani, Kamel, et autres
Publié: (2024)

PyTond: Efficient Python Data Science on the Shoulders of Databases
par: Shahrokhi, Hesam, et autres
Publié: (2024)

TypeDis: A Type System for Disentanglement
par: Moine, Alexandre, et autres
Publié: (2025)

Functional Python Programming in Introductory Computer Science Courses
par: Sunderraman, Rajshekhar
Publié: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
par: Rak-amnouykit, Ingkarat, et autres
Publié: (2024)

Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)

Local Type Inference for Context-Free Session Types
par: Almeida, Bernardo, et autres
Publié: (2025)

Parsing TTree Formula in Python
par: Roy, Aryan, et autres
Publié: (2025)

Stream Types
par: Cutler, Joseph W., et autres
Publié: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)

Abstraction Functions as Types
par: Grodin, Harrison, et autres
Publié: (2025)

Polymorphic Coverage Types
par: Zhou, Zhe, et autres
Publié: (2023)

Typing Composite Subjects
par: Aceto, Luca, et autres
Publié: (2024)

Typing Composable Coroutines
par: Gu, Qiqi, et autres
Publié: (2023)

Modal Effect Types
par: Tang, Wenhao, et autres
Publié: (2024)

Gradual Sensitivity Typing
par: Arquez, Damian, et autres
Publié: (2023)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
par: Jia, Songlin, et autres
Publié: (2024)

GUPPY: Pythonic Quantum-Classical Programming
par: Koch, Mark, et autres
Publié: (2025)

pPython Performance Study
par: Byun, Chansup, et autres
Publié: (2023)

Type-Based Incorrectness Reasoning
par: Zhou, Zhe, et autres
Publié: (2025)

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)

Typing Strictness (Extended Version)
par: Sainati, Daniel, et autres
Publié: (2025)

If-T: A Benchmark for Type Narrowing
par: Guo, Hanwen, et autres
Publié: (2025)