Cover Image

Toward a Corpus Study of the Dynamic Gradual Type

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nsofor, Dibri, Greenman, Ben
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Human-Computer Interaction Software Engineering D.3.3; D.2.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Litrepl: Literate Paper Processor Promoting Transparency More Than Reproducibility
by: Mironov, Sergei
Published: (2025)

A Structured Evaluation Framework for Low-Code Platform Selection: A Multi-Criteria Decision Model for Enterprise Digital Transformation
by: Lamanna, Antonio
Published: (2025)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
by: Vogel, Martin, et al.
Published: (2026)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
by: Pohle, Clemens
Published: (2026)

Reinforcement Learning-Based Framework for the Intelligent Adaptation of User Interfaces
by: Gaspar-Figueiredo, Daniel, et al.
Published: (2024)

SIADAFIX: issue description response for adaptive program repair
by: Cao, Xin, et al.
Published: (2025)

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

Code Review as Decision-Making -- Building a Cognitive Model from the Questions Asked During Code Review
by: Heander, Lo Gullstrand, et al.
Published: (2025)

Integrating UX Design in Astronomical Software Development: A Case Study
by: Grange, Yan G., et al.
Published: (2025)

(R)evolution of Programming: Vibe Coding as a Post-Coding Paradigm
by: Krings, Kevin, et al.
Published: (2025)

Adaptable TeaStore: A Choreographic Approach
by: De Palma, Giuseppe, et al.
Published: (2025)

Responsive Graphical User Interface (ReGUI) and its Implementation in MATLAB
by: Mikulszky, Matej, et al.
Published: (2017)

Memory Management and Contextual Consistency for Long-Running Low-Code Agents
by: Xu, Jiexi
Published: (2025)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)

Highly Interactive Testing for Uninterrupted Development Flow
by: Tropin, Andrew
Published: (2025)

Agentic Separation Logic Specification Synthesis
by: Suresh, Tarun, et al.
Published: (2026)

A Calculus of Inheritance
by: Yang, Bo
Published: (2026)

The Journey of CodeLab: How University Hackathons Built a Community of Engaged Students
by: Ferreira, Renato Cordeiro, et al.
Published: (2025)

Retromorphic Testing with Hierarchical Verification for Hallucination Detection in RAG
by: Yu, Boxi, et al.
Published: (2026)

The Dilemma of Building Do-It-Yourself (DIY) Solutions for Workplace Accessibility
by: Cha, Yoonha, et al.
Published: (2025)

Understanding the Career Mobility of Blind and Low Vision Software Professionals
by: Cha, Yoonha, et al.
Published: (2024)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

On the Impact of AGENTS.md Files on the Efficiency of AI Coding Agents
by: Lulla, Jai Lal, et al.
Published: (2026)

GazePrinter: Visualizing Expert Gaze to Guide Novices in a New Codebase
by: Kuang, Peng, et al.
Published: (2026)

Grounded Language Design for Lightweight Diagramming for Formal Methods
by: Prasad, Siddhartha, et al.
Published: (2024)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
by: Abounegm, Abdelrahman, et al.
Published: (2024)

cpp11armadillo: An R Package to Use the Armadillo C++ Library
by: Sepúlveda, Mauricio Vargas, et al.
Published: (2024)

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
by: Dinu, Ion George, et al.
Published: (2026)

ScaMaha: A Tool for Parsing, Analyzing, and Visualizing Object-Oriented Software Systems
by: Al-Msie'deen, Ra'Fat
Published: (2025)

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
by: Allison, Lloyd
Published: (2025)

The Perfection Paradox: From Architect to Curator in AI-Assisted API Design
by: Ahmad, Mak, et al.
Published: (2026)

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

JITScope: Interactive Visualization of JIT Compiler IR Transformations
by: Dalbo, Kyra, et al.
Published: (2025)

Myriad People Open Source Software for New Media Arts
by: Baudry, Benoit, et al.
Published: (2025)

Reconsidering Requirements Engineering: Human-AI Collaboration in AI-Native Software Development
by: Abbasi, Mateen Ahmed, et al.
Published: (2025)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
by: Tjoa, Ryan, et al.
Published: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Complexity as Design Material
by: Windhager, Florian, et al.
Published: (2024)

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
by: de Sousa, Briza Mel Dias, et al.
Published: (2025)