Cover Image

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abounegm, Abdelrahman, Kudasov, Nikolai, Stepanov, Alexey
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Software Engineering K.3.2; D.3.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Teaching Introductory Functional Programming Using Haskelite
by: Vasconcelos, Pedro
Published: (2025)

Sharing Analysis in the Pawns Compiler
by: Naish, Lee
Published: (2024)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
by: Kiselyov, Oleg, et al.
Published: (2024)

From Separate Compilation to Sound Language Composition
by: Bruzzone, Federico, et al.
Published: (2026)

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
by: Dietrich, Jens, et al.
Published: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
by: Ates, Salih, et al.
Published: (2024)

TensorRight: Automated Verification of Tensor Graph Rewrites
by: Arora, Jai, et al.
Published: (2025)

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

Teaching Digital Accessibility to Industry Professionals using the Community of Practice Framework: An Experience Report
by: PD, Parthasarathy, et al.
Published: (2023)

Statically Contextualizing Large Language Models with Typed Holes
by: Blinn, Andrew, et al.
Published: (2024)

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
by: Khatchadourian, Raffi, et al.
Published: (2025)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
by: Knothe, David, et al.
Published: (2026)

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

The Denotational Semantics of SSA
by: Ghalayini, Jad Elkhaleq, et al.
Published: (2024)

Semantic Analysis of Macro Usage for Portability
by: Pappas, Brent, et al.
Published: (2024)

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
by: Wodiany, Igor, et al.
Published: (2024)

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

Coding With AI: From a Reflection on Industrial Practices to Future Computer Science and Software Engineering Education
by: Chang, Hung-Fu, et al.
Published: (2025)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
by: de Medeiros, Sérgio Queiroz, et al.
Published: (2024)

AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve
by: Ananda, Chaitanya Mamatha, et al.
Published: (2026)

Towards s'more connected coding camps
by: Fronza, Ilenia, et al.
Published: (2024)

Exploring the Need of Accessibility Education in the Software Industry: Insights from a Survey of Software Professionals in India
by: D, Parthasarathy P, et al.
Published: (2023)

Same Same But Different: Preventing Refactoring Attacks on Software Plagiarism Detection
by: Maisch, Robin, et al.
Published: (2025)

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

Verified VCG and Verified Compiler for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
by: Grossman, Thomas A.
Published: (2008)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
by: Niketan, Nripesh, et al.
Published: (2025)

Harnessing the Power of Large Language Models for Software Testing Education: A Focus on ISTQB Syllabus
by: Ngo, Tuan-Phong, et al.
Published: (2025)

Automatically Generating Questions About Scratch Programs
by: Obermüller, Florian, et al.
Published: (2025)

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

Inversion by Partial Evaluation: A Reversible Interpreter Experiment
by: Glück, Robert, et al.
Published: (2024)

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

How Do Code Smells Affect Skill Growth in Scratch Novice Programmers?
by: Aragón, Ricardo Hidalgo, et al.
Published: (2025)

FAIRSECO: An Extensible Framework for Impact Measurement of Research Software
by: Deekshitha, et al.
Published: (2024)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
by: Geeson, Luke, et al.
Published: (2024)

Float Self-Tagging
by: Melançon, Olivier, et al.
Published: (2024)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
by: Titzer, Ben L., et al.
Published: (2024)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
by: Lopoukhine, Alexandre, et al.
Published: (2025)

Rebound: Efficient, Expressive, and Well-Scoped Binding
by: De Santo, Noé, et al.
Published: (2025)