Image de couverture de livre

Programming with union, intersection, and negation types

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Castagna, Giuseppe
Format:	Preprint
Publié:	2021
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

The Design Principles of the Elixir Type System
par: Castagna, Giuseppe, et autres
Publié: (2023)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
par: Castagna, Giuseppe, et autres
Publié: (2024)

Polymorphic Records for Dynamic Languages
par: Castagna, Giuseppe, et autres
Publié: (2024)

Fair intersection of seekable iterators
par: Arntzenius, Michael
Publié: (2025)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
par: Kudasov, Nikolai, et autres
Publié: (2024)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

C Analyzer : A Static Program Analysis Tool for C Programs
par: Solanki, Rajendra Kumar
Publié: (2024)

Semantics of Sets of Programs
par: Kim, Jinwoo, et autres
Publié: (2024)

Laws of Quantum Programming
par: Ying, Mingsheng, et autres
Publié: (2024)

Programming Not Only by Example
par: Peleg, Hila, et autres
Publié: (2017)

Finite Functional Programming
par: Arntzenius, Michael, et autres
Publié: (2026)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
par: Moine, Alexandre, et autres
Publié: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
par: Warren, David S., et autres
Publié: (2024)

Extensibility in Programming Languages: An overview
par: Nicolajsen, Sebastian mateos
Publié: (2025)

Functional Logic Program Transformations
par: Hanus, Michael, et autres
Publié: (2026)

Profiling Programming Language Learning
par: Crichton, Will, et autres
Publié: (2024)

Reduction for Structured Concurrent Programs
par: Gangamreddypalli, Namratha, et autres
Publié: (2026)

Aspect-oriented Programming with Julia
par: Ishimura, Osamu, et autres
Publié: (2024)

Multi-Language Probabilistic Programming
par: Stites, Sam, et autres
Publié: (2025)

Synchronous Programming with Refinement Types
par: Chen, Jiawei, et autres
Publié: (2024)

Real-Time Probabilistic Programming
par: Hummelgren, Lars, et autres
Publié: (2023)

Reactive Programming without Functions
par: Oeyen, Bjarno, et autres
Publié: (2024)

Generative Explanations for Program Synthesizers
par: Nazari, Amirmohammad, et autres
Publié: (2024)

Debugging Functional Programs by Interpretation
par: Whitington, John
Publié: (2024)

Learning Task Decomposition to Assist Humans in Competitive Programming
par: Wen, Jiaxin, et autres
Publié: (2024)

Monadic type-and-effect soundness
par: Dagnino, Francesco, et autres
Publié: (2025)

The Parallel Semantics Program Dependence Graph
par: Homerding, Brian, et autres
Publié: (2024)

A Programming Language for Feasible Solutions
par: Chen, Weijun, et autres
Publié: (2025)

Fusing Gathers with Integer Linear Programming
par: van Balen, David, et autres
Publié: (2024)

From Program Logics to Language Logics
par: Cimini, Matteo
Publié: (2024)

Practical Formal Verification for MLIR Programs
par: Tucker, Emily, et autres
Publié: (2026)

Partial Evaluation, Whole-Program Compilation
par: Fallin, Chris, et autres
Publié: (2024)

Schema Evolution in Interactive Programming Systems
par: Edwards, Jonathan, et autres
Publié: (2024)

Programming of Cellular Automata in C and C++
par: Christen, Patrik
Publié: (2024)

On Propositional Program Equivalence (extended abstract)
par: Kappé, Tobias
Publié: (2025)

Program Synthesis from Partial Traces
par: Ferreira, Margarida, et autres
Publié: (2025)

Programming Backpropagation with Reverse Handlers for Arrows
par: Sanada, Takahiro, et autres
Publié: (2026)

Functional Programming in Learning Electromagnetic Theory
par: Walck, Scott N.
Publié: (2024)

Active Learning for Neurosymbolic Program Synthesis
par: Barnaby, Celeste, et autres
Publié: (2025)

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