Python Type Hints Are Turing Complete (Pearl/Brave New Idea)
No abstract available.
Related papers
- Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea) ECOOP 2023
- Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea) ECOOP 2025
- Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea) ECOOP 2025
- The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea) ECOOP 2023
- On the Rise of Modern Software Documentation (Pearl/Brave New Idea) ECOOP 2023
- A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl/Brave New Idea) ECOOP 2026
- Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) ECOOP 2019
- Motion Session Types for Robotic Interactions (Brave New Idea Paper) ECOOP 2019