:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Castagna, Giuseppe
Format:	Preprint
Published:	2021
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2111.03354
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
by: Castagna, Giuseppe, et al.
Published: (2024)

The Design Principles of the Elixir Type System
by: Castagna, Giuseppe, et al.
Published: (2023)

Polymorphic Records for Dynamic Languages
by: Castagna, Giuseppe, et al.
Published: (2024)

Fair intersection of seekable iterators
by: Arntzenius, Michael
Published: (2025)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
by: Kudasov, Nikolai, et al.
Published: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
by: De Palma, Giuseppe, et al.
Published: (2024)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)

Programming Not Only by Example
by: Peleg, Hila, et al.
Published: (2017)

Finite Functional Programming
by: Arntzenius, Michael, et al.
Published: (2026)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
by: Moine, Alexandre, et al.
Published: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Probabilistic Programs of Thought
by: Garg, Poorva, et al.
Published: (2026)

Learning Task Decomposition to Assist Humans in Competitive Programming
by: Wen, Jiaxin, et al.
Published: (2024)

Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)

Functional Logic Program Transformations
by: Hanus, Michael, et al.
Published: (2026)

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

Reduction for Structured Concurrent Programs
by: Gangamreddypalli, Namratha, et al.
Published: (2026)

Aspect-oriented Programming with Julia
by: Ishimura, Osamu, et al.
Published: (2024)

Multi-Language Probabilistic Programming
by: Stites, Sam, et al.
Published: (2025)

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

Real-Time Probabilistic Programming
by: Hummelgren, Lars, et al.
Published: (2023)

Reactive Programming without Functions
by: Oeyen, Bjarno, et al.
Published: (2024)

Generative Explanations for Program Synthesizers
by: Nazari, Amirmohammad, et al.
Published: (2024)

Debugging Functional Programs by Interpretation
by: Whitington, John
Published: (2024)

From Algebraic Word Problem to Program: A Formalized Approach
by: Wiemerslage, Adam, et al.
Published: (2020)

Monadic type-and-effect soundness
by: Dagnino, Francesco, et al.
Published: (2025)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

A Programming Language for Feasible Solutions
by: Chen, Weijun, et al.
Published: (2025)

Fusing Gathers with Integer Linear Programming
by: van Balen, David, et al.
Published: (2024)

From Program Logics to Language Logics
by: Cimini, Matteo
Published: (2024)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

Partial Evaluation, Whole-Program Compilation
by: Fallin, Chris, et al.
Published: (2024)

Schema Evolution in Interactive Programming Systems
by: Edwards, Jonathan, et al.
Published: (2024)

Programming of Cellular Automata in C and C++
by: Christen, Patrik
Published: (2024)

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

Program Synthesis from Partial Traces
by: Ferreira, Margarida, et al.
Published: (2025)

Programming Backpropagation with Reverse Handlers for Arrows
by: Sanada, Takahiro, et al.
Published: (2026)